bibliographer - P. A. Abdulla

bibliographer a curated TCS bibliography

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

Verification of Probabilistic Systems with Faulty Communication P. A. Abdulla N. Bertrand A. Rabinovich Ph. Schnoebelen [github]

General decidability theorems for infinite-state systems P. A. Abdulla K. Cerans B. Jonsson Yih-Kuen Tsay [github]

Dense-Timed Pushdown Automata P. A. Abdulla M. F. Atig J. Stenman [github]

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

[show logs] [hide logs]