bibliographer a curated TCS bibliography
  • obsidian
  • tags
  • authors
  • no doi
  • no pdf
  • bad author
  • add item
  • librarian

Bringing LTL Model Checking to Biologists Zara Ahmed David Benque Sergey Berezin Anna Caroline E. Dahl Jasmin Fisher Benjamin A. Hall Samin Ishtiaq Jay Nanavati Nir Piterman Maik Riechert Nikita Skoblov [github]

Library Size: 13G (1 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge
[show logs] [hide logs]