Publications

2013
Download
[bibtex]
Daniel Neider, Nils Jansen. Regular Model Checking Using Solver Technologies and Automata Learning. 5th NASA Formal Methods Symposium (NFM'13), Volume 7871 of LNCS, pages 16–31, Springer Berlin Heidelberg, 2013.