Last update: Thu Jun 20 02:00:37 MDT 2019
@Article{Gedela:1999:CPN,
author = "Ravi K. Gedela and Sol M. Shatz and Haiping Xu",
title = "Compositional {Petri} net models of advanced tasking
in {Ada-95}",
journal = j-COMP-LANGS,
volume = "25",
number = "2",
pages = "55--87",
month = jul,
year = "1999",
CODEN = "COLADA",
ISSN = "0096-0551 (print), 1873-6742 (electronic)",
ISSN-L = "0096-0551",
bibdate = "Thu Oct 12 10:20:10 MDT 2000",
bibsource = "http://www.elsevier.com/locate/complang;
http://www.math.utah.edu/pub/tex/bib/complngs.bib",
URL = "http://www.elsevier.nl/gej-ng/10/15/18/28/27/25/abstract.html;
http://www.elsevier.nl/gej-ng/10/15/18/28/27/25/article.pdf",
acknowledgement = ack-nhfb,
journal-URL = "http://www.sciencedirect.com/science/journal/00960551",
}