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}
}