Last update: Thu Apr 12 03:37:15 MDT 2012
@Article{Masticola:1991:MAP,
author = "Stephen P. Masticola and Barbara G. Ryder",
title = "A Model of {Ada} Programs for Static Deadlock
Detection in Polynomial Time",
journal = j-SIGPLAN,
volume = "26",
number = "12",
pages = "97--107",
month = dec,
year = "1991",
CODEN = "SINODQ",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
ISSN-L = "0362-1340",
bibdate = "Sun Dec 14 09:16:15 MST 2003",
bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Parallel/debug_3.1.bib;
http://portal.acm.org/",
acknowledgement = ack-nhfb,
}