Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
ramseysimsub [2013/01/16 23:01]
rmayr
ramseysimsub [2013/02/27 01:31] (current)
rmayr [References]
Line 26: Line 26:
  
 ====== References ====== ====== References ======
-  *[[http://​www.inf.ed.ac.uk/​publications/​report/​1414.html | Richard Mayr, Lorenzo Clemente. Advanced Automata Minimization. POPL 2013. To appear. Extended Technical Report EDI-INF-RR-1414.]]+  *[[http://​www.inf.ed.ac.uk/​publications/​report/​1414.html | Richard Mayr, Lorenzo Clemente. Advanced Automata Minimization. POPL 2013. Extended Technical Report EDI-INF-RR-1414.]]
   *[[http://​homepages.inf.ed.ac.uk/​rmayr/​tr-absim.pdf | Richard Mayr, Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holik, Chih-Duo Hong and Tomas Vojnar. Advanced Ramsey-based Buchi Automata Inclusion Testing. CONCUR 2011, volume 6901 in LNCS. 2011.]]   *[[http://​homepages.inf.ed.ac.uk/​rmayr/​tr-absim.pdf | Richard Mayr, Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holik, Chih-Duo Hong and Tomas Vojnar. Advanced Ramsey-based Buchi Automata Inclusion Testing. CONCUR 2011, volume 6901 in LNCS. 2011.]]
   * [[http://​www.fit.vutbr.cz/​units/​UITS/​pubs/​tr.php?​id=9207 | Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar: Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. CAV 2010: 132-147]]   * [[http://​www.fit.vutbr.cz/​units/​UITS/​pubs/​tr.php?​id=9207 | Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar: Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. CAV 2010: 132-147]]
  
ramseysimsub.txt · Last modified: 2013/02/27 01:31 by rmayr