Last update: Thu Sep 27 02:15:07 MDT 2018
@InProceedings{Kaminski:1990:FMA, author = "M. Kaminski and N. Francez", title = "Finite-memory automata", crossref = "IEEE:1990:PAS", volume = "2", pages = "683--688", year = "1990", bibdate = "Thu Apr 5 06:13:50 MDT 2001", bibsource = "http://www.math.utah.edu/pub/tex/bib/focs1990.bib", acknowledgement = ack-nhfb, }