- The covering and boundedness problems for vector addition systems Charles Rackoff Tue 18 December 2012
- On Moore graphs with diameters 2 and 3 A. J. Hoffman R. R. Singleton Tue 18 December 2012
- On Model Checking for Non-Deterministic Infinite-State Systems E. A. Emerson K. S. Namjoshi Tue 18 December 2012
- Model Checking of Probabilistic Timed and Hybrid Systems Jeremy Sproston Tue 18 December 2012
- Weak Time Petri Nets strike back Pierre-Alain Reynier Arnaud Sangnier Tue 18 December 2012
- Reachability in Timed Counter Systems Florent Bouchy Alain Finkel Arnaud Sangnier Tue 18 December 2012
- Reversal-bounded Counter Machines Revisited Alain Finkel Arnaud Sangnier Tue 18 December 2012
- From Time Petri Nets to Timed Automata: An Untimed Approach Davide D'Aprile Susanna Donatelli Arnaud Sangnier Jeremy Sproston Tue 18 December 2012
- Mixing coverability and reachability to analyze VASS with one zero-test Alain Finkel Arnaud Sangnier Tue 18 December 2012
- On the Verification of Broadcast Protocols Javier Esparza Alain Finkel Richard Mayr Tue 18 December 2012
- Multi-clock timed networks Parosh Aziz Abdulla J. Deneux P. Mahata Tue 18 December 2012
- Closed, Open, and Robust Timed Networks Parosh Aziz Abdulla Johann Deneux Pritha Mahata Tue 18 December 2012
- Nets with tokens which carry data Ranko Lazic Tom Newcomb Joel Ouaknine A. W. Roscoe James Worrell Tue 18 December 2012
- Decidability Issues for Petri Nets - a survey Javier Esparza Mogens Nielsen Tue 18 December 2012
- Subgraphs and well-quasi-ordering Guoli Ding Tue 18 December 2012
- Forward analysis of depth-bounded processes Thomas Wies Damien Zufferey Thomas A. Henzinger Tue 18 December 2012
- Thin and thick timed regular languages Nicolas Basset Eugene Asarin Tue 18 December 2012
- Approximate comparison of distance automata Thomas Colcombet Laure Daviaud Tue 18 December 2012
- Mean-payoff games and propositional proofs Albert Atserias Elitza Maneva Tue 18 December 2012
- Bounded-width QBF is PSPACE-complete Albert Atserias Sergi Oliva Tue 18 December 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
