Last update: Sat Oct 14 02:35:45 MDT 2017
@Article{Barbeau:1997:EAC, author = "M. Barbeau and F. Kabanza and R. St-Denis", title = "An Efficient Algorithm for Controller Synthesis under Full Observation", journal = j-J-ALG, volume = "25", number = "1", pages = "144--161", month = oct, year = "1997", CODEN = "JOALDV", DOI = "https://doi.org/10.1006/jagm.1997.0877", ISSN = "0196-6774 (print), 1090-2678 (electronic)", ISSN-L = "0196-6774", bibdate = "Tue Dec 11 09:16:50 MST 2012", bibsource = "http://www.math.utah.edu/pub/tex/bib/jalg.bib", URL = "http://www.sciencedirect.com/science/article/pii/S0196677497908774", acknowledgement = ack-nhfb, fjournal = "Journal of Algorithms", journal-URL = "http://www.sciencedirect.com/science/journal/01966774", }