Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/sac/HankleyT92
%A Hankley, William J.
%A Tsai, Peikun
%B SAC
%D 1992
%E Berghel, Hal
%E Deaton, Ed
%E Hedrick, George E.
%E Roach, David
%E Wainwright, Roger L.
%I ACM
%K dblp
%P 846-855
%T Ada/TL specification and verification of a distributed computation.
%U http://dblp.uni-trier.de/db/conf/sac/sac1992.html#HankleyT92
%@ 0-89791-502-X
@inproceedings{conf/sac/HankleyT92,
added-at = {2021-04-01T00:00:00.000+0200},
author = {Hankley, William J. and Tsai, Peikun},
biburl = {https://www.bibsonomy.org/bibtex/22d751552698695293f2b327dfaab7f11/dblp},
booktitle = {SAC},
crossref = {conf/sac/1992},
editor = {Berghel, Hal and Deaton, Ed and Hedrick, George E. and Roach, David and Wainwright, Roger L.},
ee = {https://doi.org/10.1145/130069.130098},
interhash = {09db655d4c38de1c9c54ba8fa25fef94},
intrahash = {2d751552698695293f2b327dfaab7f11},
isbn = {0-89791-502-X},
keywords = {dblp},
pages = {846-855},
publisher = {ACM},
timestamp = {2024-04-10T15:04:40.000+0200},
title = {Ada/TL specification and verification of a distributed computation.},
url = {http://dblp.uni-trier.de/db/conf/sac/sac1992.html#HankleyT92},
year = 1992
}