by Daniel Neider, Nils Jansen
Reference:
Regular model checking using solver technologies and automata learning (Daniel Neider, Nils Jansen), Chapter in NASA Formal Methods, Springer Berlin Heidelberg, 2013.
Bibtex Entry:
@incollection{neider2013regular,
title={Regular model checking using solver technologies and automata learning},
author={Neider, Daniel and Jansen, Nils},
booktitle={NASA Formal Methods},
pages={16--31},
year={2013},
publisher={Springer Berlin Heidelberg}
}