bibliographer - Aletta Nylén

bibliographer a curated TCS bibliography

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

Forward Reachability Analysis of Timed Petri Nets Parosh Abdulla Johann Deneux Pritha Mahata Aletta Nylén [github]

Using forward reachability analysis for verification of timed Petri nets Parosh Aziz Abdulla Johann Deneux Pritha Mahata Aletta Nylén [github]

Better Quasi-Ordered Transition Systems Parosh Aziz Abdulla Aletta Nylén [github]

Better is Better than Well: On Efficient Verification of Infinite-State Systems Parosh Aziz Abdulla Aletta Nylén [github]

Timed Petri Nets and BQOs Parosh Aziz Abdulla Aletta Nylén [github]

Timed Petri Nets and BQOs Parosh Aziz Abdulla Aletta Nylén [github]

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

[show logs] [hide logs]