- Pushdown Processes: Games and Model-Checking Igor Walukiewicz Tue 06 March 2012
- The size-change principle for program termination Chin Soon Lee Neil D. Jones Amir M. Ben-Amram Tue 06 March 2012
- Symbolic model checking for real-time systems T.A. Henzinger X. Nicollin J. Sifakis S. Yovine Tue 06 March 2012
- Program Termination Analysis in Polynomial Time Chin Soon Lee Tue 06 March 2012
- On Model-Checking Trees Generated by Higher-Order Recursion Schemes C.-H. L. Ong Tue 06 March 2012
- On Global Model Checking Trees Generated by Higher-Order Recursion Schemes Christopher Broadbent Luke Ong Tue 06 March 2012
- Higher-Order Model Checking: From Theory to Practice N. Kobayashi Tue 06 March 2012
- Collapsible Pushdown Automata and Recursion Schemes M. Hague A. S. Murawski C.-H. L. Ong O. Serre Tue 06 March 2012
- Timed Automata: Semantics, Algorithms and Tools Johan Bengtsson Wang Yi Tue 06 March 2012
- Time-Abstracted Bisimulation: Implicit Specifications and Decidability Kim G. Larsen Yi Wang Tue 06 March 2012
- Higher-Order Pushdown Trees Are Easy Teodor Knapik Damian Niwiński Paweł Urzyczyn Tue 06 March 2012
- Decision Problems for Timed Automata: A Survey Rajeev Alur P. Madhusudan Tue 06 March 2012
- Decidability of bisimulation equivalences for parallel timer processes Kārlis Čerāns Tue 06 March 2012
- CCS + time = an interleaving model for real time systems Wang Yi Tue 06 March 2012
- Automata for modeling real-time systems Rajeev Alur David Dill Tue 06 March 2012
- The IO- and OI-hierarchies Werner Damm Tue 06 March 2012
- Program termination analysis in polynomial time Amir M. Ben-Amram Chin Soon Lee Tue 06 March 2012
- Model-Checking Pushdown Systems Stefan Schwoon Tue 06 March 2012
- Efficient Algorithms for Model Checking Pushdown Systems Javier Esparza David Hansel Peter Rossmanith Stefan Schwoon Tue 06 March 2012
- Unifying Buchi Complementation Constructions Seth Fogarty Orna Kupferman Moshe Y. Vardi Thomas Wilke Tue 06 March 2012
Library Size: 13G (12970 entries),
Last Updated: Apr 16, 2026, 08:51:39,
Build Time: N/A
