%0 Conference Paper %1 conf/ifip/Walter83 %A Walter, Bernd %B Protocol Specification, Testing, and Verification %D 1983 %E Rudin, Harry %E West, Colin H. %I North-Holland %K dblp %P 149-159 %T Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics. %U http://dblp.uni-trier.de/db/conf/ifip/pstv83.html#Walter83 %@ 0-444-86769-4

@inproceedings{conf/ifip/Walter83, added-at = {2019-08-04T00:00:00.000+0200}, author = {Walter, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2d091df9653f5d0b99c7be6dbe5d081db/dblp}, booktitle = {Protocol Specification, Testing, and Verification}, crossref = {conf/pstv/1983}, editor = {Rudin, Harry and West, Colin H.}, interhash = {0598d28433ef387d53f2117c57861b94}, intrahash = {d091df9653f5d0b99c7be6dbe5d081db}, isbn = {0-444-86769-4}, keywords = {dblp}, pages = {149-159}, publisher = {North-Holland}, timestamp = {2019-09-10T11:45:19.000+0200}, title = {Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics.}, url = {http://dblp.uni-trier.de/db/conf/ifip/pstv83.html#Walter83}, year = 1983 }