BibTeX record conf/pdd/MasticolaR91

download as .bib file

@inproceedings{DBLP:conf/pdd/MasticolaR91,
  author       = {Stephen P. Masticola and
                  Barbara G. Ryder},
  editor       = {Barton P. Miller and
                  Charles E. McDowell},
  title        = {A Model of Ada Programs for Static Deadlock Detection in Polynomial
                  Time},
  booktitle    = {Proceedings of the {ACM/ONR} Workshop on Parallel and Distributed
                  Debugging, Santa Cruz, California, USA, May 20-21, 1991},
  pages        = {97--107},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/122759.122768},
  doi          = {10.1145/122759.122768},
  timestamp    = {Fri, 09 Jul 2021 14:03:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pdd/MasticolaR91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics