bibliographer - Maurizio Gabbrielli

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Compositional Verification of Asynchronous Processes via Constraint Solving Giorgio Delzanno Maurizio Gabbrielli [github]

Compositional Verification of Infinite State Systems Giorgio Delzanno Maurizio Gabbrielli MariaChiara Meo [github]

Developing correct, distributed, adaptive software Mila Dalla Preda Maurizio Gabbrielli Saverio Giallorenzo Ivan Lanese Jacopo Mauro [github]

Library Size: 13G (3 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]