bibliographer - Pritha Mahata

bibliographer a curated TCS bibliography

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

Model Checking Parameterized Timed Systems Pritha Mahata [github]

Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness Parosh Abdulla Pritha Mahata Richard Mayr [github]

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]

Closed, Open, and Robust Timed Networks Parosh Aziz Abdulla Johann Deneux Pritha Mahata [github]

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

[show logs] [hide logs]