%0 Conference Paper %1 conf/sigada/MayrhauserH92 %A von Mayrhauser, Anneliese %A Hsueh, Shao-Ming Simon %B TRI-Ada %D 1992 %E Mendal, Geoffrey O. %E Jr., Charles B. Engle %I ACM %K dblp %P 450-457 %T An Ada Deadlock Testing Algorithm Based on Control and Communication Flow Graphs. %U http://dblp.uni-trier.de/db/conf/sigada/triada92.html#MayrhauserH92 %@ 0-89791-529-1

@inproceedings{conf/sigada/MayrhauserH92, added-at = {2019-08-02T00:00:00.000+0200}, author = {von Mayrhauser, Anneliese and Hsueh, Shao-Ming Simon}, biburl = {https://www.bibsonomy.org/bibtex/22203ae2e66bae569929515785f49245b/dblp}, booktitle = {TRI-Ada}, crossref = {conf/sigada/1992}, editor = {Mendal, Geoffrey O. and Jr., Charles B. Engle}, ee = {https://doi.org/10.1145/143557.143991}, interhash = {c58995cc213636cacf8ebed5dd039931}, intrahash = {2203ae2e66bae569929515785f49245b}, isbn = {0-89791-529-1}, keywords = {dblp}, pages = {450-457}, publisher = {ACM}, timestamp = {2024-04-09T17:42:39.000+0200}, title = {An Ada Deadlock Testing Algorithm Based on Control and Communication Flow Graphs.}, url = {http://dblp.uni-trier.de/db/conf/sigada/triada92.html#MayrhauserH92}, year = 1992 }