William Hankley, Peikun Tsai. Ada/TL specification and verification of a distributed computation. In Hal Berghel, Ed Deaton, George E. Hedrick, David Roach, Roger L. Wainwright, editors, Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, Kansas City, MO, USA, March 1-3, 1992. pages 846-855, ACM, 1992. [doi]
@inproceedings{HankleyT92,
title = {Ada/TL specification and verification of a distributed computation},
author = {William Hankley and Peikun Tsai},
year = {1992},
doi = {10.1145/130069.130098},
url = {http://doi.acm.org/10.1145/130069.130098},
researchr = {https://researchr.org/publication/HankleyT92},
cites = {0},
citedby = {0},
pages = {846-855},
booktitle = {Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, Kansas City, MO, USA, March 1-3, 1992},
editor = {Hal Berghel and Ed Deaton and George E. Hedrick and David Roach and Roger L. Wainwright},
publisher = {ACM},
isbn = {0-89791-502-X},
}