Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}