%0 Conference Paper %1 conf/ifip/MenascheB83 %A Menasche, Miguel %A Berthomieu, Bernard %B Protocol Specification, Testing, and Verification %D 1983 %E Rudin, Harry %E West, Colin H. %I North-Holland %K dblp %P 161-172 %T Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols. %U http://dblp.uni-trier.de/db/conf/ifip/pstv83.html#MenascheB83 %@ 0-444-86769-4

@inproceedings{conf/ifip/MenascheB83, added-at = {2019-08-04T00:00:00.000+0200}, author = {Menasche, Miguel and Berthomieu, Bernard}, biburl = {https://www.bibsonomy.org/bibtex/24006e58d850e8b708ac47ec4392876b2/dblp}, booktitle = {Protocol Specification, Testing, and Verification}, crossref = {conf/pstv/1983}, editor = {Rudin, Harry and West, Colin H.}, interhash = {7fcd6a430238857d65cc95e537982c91}, intrahash = {4006e58d850e8b708ac47ec4392876b2}, isbn = {0-444-86769-4}, keywords = {dblp}, pages = {161-172}, publisher = {North-Holland}, timestamp = {2019-09-10T11:45:19.000+0200}, title = {Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols.}, url = {http://dblp.uni-trier.de/db/conf/ifip/pstv83.html#MenascheB83}, year = 1983 }