Jean-Claude Royer. Formal Specification and Proof Techniques for Mixed Systems. In Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), San Francisco, CA, April 23-27, 2001. pages 151, IEEE Computer Society, 2001.
@inproceedings{Royer01,
title = {Formal Specification and Proof Techniques for Mixed Systems},
author = {Jean-Claude Royer},
year = {2001},
researchr = {https://researchr.org/publication/Royer01},
cites = {0},
citedby = {0},
pages = {151},
booktitle = {Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), San Francisco, CA, April 23-27, 2001},
publisher = {IEEE Computer Society},
isbn = {0-7695-0990-8},
}