Ming Fang, Chris Ho-Stuart, Hussein S. M. Zedan. Specification of Real-Time Probabilistic Behaviour. In André A. S. Danthine, Guy Leduc, Pierre Wolper, editors, Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993. Volume C-16 of IFIP Transactions, pages 143-157, North-Holland, 1993.
@inproceedings{FangHZ93,
title = {Specification of Real-Time Probabilistic Behaviour},
author = {Ming Fang and Chris Ho-Stuart and Hussein S. M. Zedan},
year = {1993},
researchr = {https://researchr.org/publication/FangHZ93},
cites = {0},
citedby = {0},
pages = {143-157},
booktitle = {Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993},
editor = {André A. S. Danthine and Guy Leduc and Pierre Wolper},
volume = {C-16},
series = {IFIP Transactions},
publisher = {North-Holland},
isbn = {0-444-81648-8},
}