%0 Conference Paper %1 conf/icdcsw/Peled00 %A Peled, Doron A. %B ICDCS Workshop on Distributed System Validation and Verification %D 2000 %E Lai, Ten-Hwang %K dblp %P E7-E13 %T Formal Methods for Message Sequence Charts. %U http://dblp.uni-trier.de/db/conf/icdcsw/icdcsw2000.html#Peled00

@inproceedings{conf/icdcsw/Peled00, added-at = {2016-02-12T00:00:00.000+0100}, author = {Peled, Doron A.}, biburl = {https://www.bibsonomy.org/bibtex/2ae1c09fd6a31fd2ce44c908592edd937/dblp}, booktitle = {ICDCS Workshop on Distributed System Validation and Verification}, crossref = {conf/icdcsw/2000}, editor = {Lai, Ten-Hwang}, interhash = {b5c29618f96527e9889e728497429ae2}, intrahash = {ae1c09fd6a31fd2ce44c908592edd937}, keywords = {dblp}, pages = {E7-E13}, timestamp = {2016-02-13T11:47:30.000+0100}, title = {Formal Methods for Message Sequence Charts.}, url = {http://dblp.uni-trier.de/db/conf/icdcsw/icdcsw2000.html#Peled00}, year = 2000 }