Dragomir D. Dimitrijevic, Mon-Song Chen. Dynamic State Exploration in Quantitative Protocol Analysis. In Ed Brinksma, Giuseppe Scollo, Chris A. Vissers, editors, Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989. pages 327-338, North-Holland, 1989.
@inproceedings{DimitrijevicC89:0,
title = {Dynamic State Exploration in Quantitative Protocol Analysis},
author = {Dragomir D. Dimitrijevic and Mon-Song Chen},
year = {1989},
tags = {protocol, analysis},
researchr = {https://researchr.org/publication/DimitrijevicC89%3A0},
cites = {0},
citedby = {0},
pages = {327-338},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
editor = {Ed Brinksma and Giuseppe Scollo and Chris A. Vissers},
publisher = {North-Holland},
isbn = {0-444-88343-6},
}