- On the coverability and reachability languages of monotonic extensions of Petri nets Giorgio Delzanno Fernando Rosa-Velardo Sat 29 December 2012
- Constraint-Based Analysis of Broadcast Protocols Giorgio Delzanno Andreas Podelski Javier Esparza Sat 29 December 2012
- Automatic verification of parameterized synchronous systems E. Emerson Kedar Namjoshi Sat 29 December 2012
- On Model Checking for Non-Deterministic Infinite-State Systems E. A. Emerson K. S. Namjoshi Tue 18 December 2012
- On the Verification of Broadcast Protocols Javier Esparza Alain Finkel Richard Mayr Tue 18 December 2012
- The Cost of Parameterized Reachability in Mobile Ad Hoc Networks Giorgio Delzanno Arnaud Sangnier Riccardo Traverso Gianluigi Zavattaro Tue 18 December 2012
- Parameterized Verification of Safety Properties in Ad Hoc Network Protocols Giorgio Delzanno Arnaud Sangnier Gianluigi Zavattaro Tue 18 December 2012
- On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks Giorgio Delzanno Arnaud Sangnier Riccardo Traverso Gianluigi Zavattaro Sun 16 December 2012
- Better Quasi-Ordered Transition Systems Parosh Aziz Abdulla Aletta Nylén Thu 20 September 2012
Library Size: 13G (9 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
