bibliographer - A. P. Sistla

bibliographer a curated TCS bibliography

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

Can message buffers be axiomatized in linear temporal logic A. P. Sistla E. M. Clarke N. Francez A. R. Meyer [github]

On model-checking for fragments of mu-calculus E. A. Emerson C. S. Jutla A. P. Sistla [github]

The complexity of propositional linear temporal logics A. P. Sistla E. M. Clarke [github]

Automatic verification of finite-state concurrent systems using temporal logic specifications E. M. Clarke E. A. Emerson A. P. Sistla [github]

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

[show logs] [hide logs]