News

  • Our paper “Advanced Automata Minimization” is accepted at POPL 2013. For an extended version see Technical report EDI-INF-RR-1414. (2012/10/29)
  • Our paper “Advanced Ramsey-based Buchi Automata Inclusion Testing” is accepted to CONCUR. (2011/5/30)
news.txt · Last modified: 2012/10/29 22:55 by rmayr