Last update: Thu Jun 20 02:01:00 MDT 2019
@Article{Hierons:2004:TSS, author = "R. M. Hierons and T.-H. Kim and H. Ural", title = "On the testability of {SDL} specifications", journal = j-COMP-NET-AMSTERDAM, volume = "44", number = "5", pages = "681--700", day = "5", month = apr, year = "2004", CODEN = "????", ISSN = "1389-1286 (print), 1872-7069 (electronic)", ISSN-L = "1389-1286", bibdate = "Thu Jul 14 17:02:59 MDT 2005", bibsource = "http://www.math.utah.edu/pub/tex/bib/compnetamsterdam2000.bib", acknowledgement = ack-nhfb, journal-URL = "http://www.sciencedirect.com/science/journal/13891286", }