Last update: Thu Jun 20 02:00:37 MDT 2019
@Article{Puntigam:2001:SID, author = "Franz Puntigam", title = "State inference for dynamically changing interfaces", journal = j-COMP-LANGS, volume = "27", number = "4", pages = "163--202", month = dec, year = "2001", CODEN = "COLADA", ISSN = "0096-0551 (print), 1873-6742 (electronic)", ISSN-L = "0096-0551", bibdate = "Thu Feb 21 11:33:49 MST 2002", bibsource = "http://www.elsevier.com/locate/complang; http://www.math.utah.edu/pub/tex/bib/complngs.bib", URL = "http://www.elsevier.com/gej-ng/10/15/18/54/31/28/abstract.html", acknowledgement = ack-nhfb, journal-URL = "http://www.sciencedirect.com/science/journal/00960551", }