Last update: Thu Jun 20 02:01:00 MDT 2019
@Article{Yamaguchi:2007:DPS, author = "Hirozumi Yamaguchi and Khaled El-Fakih and Gregor v. Bochmann and Teruo Higashino", title = "Deriving protocol specifications from service specifications written as {Predicate\slash Transition-nets}", journal = j-COMP-NET-AMSTERDAM, volume = "51", number = "1", pages = "258--284", day = "17", month = jan, year = "2007", CODEN = "????", ISSN = "1389-1286 (print), 1872-7069 (electronic)", ISSN-L = "1389-1286", bibdate = "Sat Apr 2 08:42:15 MDT 2011", bibsource = "http://www.math.utah.edu/pub/tex/bib/compnetamsterdam2000.bib", acknowledgement = ack-nhfb, fjournal = "Computer Networks", journal-URL = "http://www.sciencedirect.com/science/journal/13891286", }