Last update: Sun Aug 5 02:03:07 MDT 2018
@Article{Cleaveland:2000:PTD, author = "Rance Cleaveland and Philip M. Lewis and Scott A. Smolka", title = "Practical techniques for the design, specification, verification, and implementation of concurrent systems", journal = j-SIGSOFT, volume = "25", number = "1", pages = "43--44", month = jan, year = "2000", CODEN = "SFENDP", DOI = "https://doi.org/10.1145/340855.340878", ISSN = "0163-5948 (print), 1943-5843 (electronic)", ISSN-L = "0163-5948", bibdate = "Wed Aug 1 17:13:50 MDT 2018", bibsource = "http://www.math.utah.edu/pub/tex/bib/sigsoft2000.bib", acknowledgement = ack-nhfb, fjournal = "ACM SIGSOFT Software Engineering Notes", journal-URL = "https://dl.acm.org/citation.cfm?id=J728", }