Chung-Ming Huang, Shiun-Wei Lee, Jenq-Muh Hsu. Probabilistic Timed Protocol Verification for the Extended State Transition Model. In Lionel M. Ni, editor, Proceedings 1994 International Conference on Parallel and Distributed Systems, December 19-21, 1994, Hsinchu, Taiwan, Republic of China. pages 432-437, IEEE Computer Society, 1994.
@inproceedings{HuangLH94, title = {Probabilistic Timed Protocol Verification for the Extended State Transition Model}, author = {Chung-Ming Huang and Shiun-Wei Lee and Jenq-Muh Hsu}, year = {1994}, tags = {protocol}, researchr = {https://researchr.org/publication/HuangLH94}, cites = {0}, citedby = {0}, pages = {432-437}, booktitle = {Proceedings 1994 International Conference on Parallel and Distributed Systems, December 19-21, 1994, Hsinchu, Taiwan, Republic of China}, editor = {Lionel M. Ni}, publisher = {IEEE Computer Society}, isbn = {0-8186-6555-6}, }