by Daniel Neider, Nils Jansen
Reference:
Regular Model Checking Using Solver Technologies and Automata Learning (Daniel Neider, Nils Jansen), In NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, 2013.
Bibtex Entry:
@inproceedings{DBLP:conf/nfm/NeiderJ13, author = {Daniel Neider and Nils Jansen}, title = {Regular Model Checking Using Solver Technologies and Automata Learning}, booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings}, year = {2013}, pages = {16--31}, crossref = {DBLP:conf/nfm/2013}, url = {http://dx.doi.org/10.1007/978-3-642-38088-4_2}, doi = {10.1007/978-3-642-38088-4_2}, timestamp = {Mon, 15 Sep 2014 13:06:46 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/nfm/NeiderJ13}, bibsource = {dblp computer science bibliography, http://dblp.org} }