Differences

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

Link to this comparison view

Both sides previous revision Previous revision
tools [2019/01/05 01:59]
rmayr
tools [2019/04/30 04:33] (current)
rmayr [References]
Line 52: Line 52:
  
 ====References==== ====References====
 +  *[[https://​lmcs.episciences.org/​5189 | Richard Mayr, Lorenzo Clemente. ​ Efficient reduction of nondeterministic automata with application to language inclusion testing. Logical Methods in Computer Science 15(1). 2019.]]
   *[[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://​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, ISBN 978-3-642-23216-9,​ 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, ISBN 978-3-642-23216-9,​ 2011.]]
tools.1546624750.txt.gz · Last modified: 2019/01/05 01:59 by rmayr