Informatics Report Series

Author   

Richard Mayr

Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Report Date Title
EDI-INF-RR-1376 Aug 2010 Multipebble Simulations for Alternating Automata
EDI-INF-RR-1199 Mar 2003 Undecidable problems in unreliable computations
EDI-INF-RR-1198 Jun 2003 Undecidability of Weak Bisimulation Equivalence for 1-Counter Processes
EDI-INF-RR-1197 Mar 2006 Model Checking Probabilistic Pushdown Automata
EDI-INF-RR-1196 Feb 2007 Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness


Home : Publications : Author 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh