Last update: Fri Jan 5 02:05:58 MST 2018
@Article{Khoumsi:1997:TFM, author = "Ahmed Khoumsi and Kassem Saleh", title = "Two formal methods for the synthesis of discrete event systems", journal = j-COMP-NET-ISDN, volume = "29", number = "7", pages = "759--780", day = "30", month = aug, year = "1997", CODEN = "CNISE9", ISSN = "0169-7552 (print), 1879-2324 (electronic)", ISSN-L = "0169-7552", bibdate = "Fri Sep 24 20:21:51 MDT 1999", bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/cna/cas_free/browse/browse.cgi?year=1997&volume=29&issue=7; http://www.math.utah.edu/pub/tex/bib/compnetisdn.bib", URL = "http://www.elsevier.com/cgi-bin/cas/tree/store/comnet/cas_sub/browse/browse.cgi?year=1997&volume=29&issue=7&aid=1745", acknowledgement = ack-nhfb, journal-URL = "http://www.sciencedirect.com/science/journal/01697552", }