%0 Conference Paper %1 conf/forte/Peled00 %A Peled, Doron A. %B FORTE %D 2000 %E Bolognesi, Tommaso %E Latella, Diego %I Kluwer %K dblp %P 139-154 %T Specification and Verification of Message Sequence Charts. %U http://dblp.uni-trier.de/db/conf/forte/forte2000.html#Peled00 %V 183 %@ 0-7923-7968-3

@inproceedings{conf/forte/Peled00, added-at = {2016-02-12T00:00:00.000+0100}, author = {Peled, Doron A.}, biburl = {https://www.bibsonomy.org/bibtex/26b4587a9e03794bc8e9fdfe3ea705226/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2000}, editor = {Bolognesi, Tommaso and Latella, Diego}, interhash = {fbb13c922fa6d1dc4e9cea9baa145bd4}, intrahash = {6b4587a9e03794bc8e9fdfe3ea705226}, isbn = {0-7923-7968-3}, keywords = {dblp}, pages = {139-154}, publisher = {Kluwer}, series = {IFIP Conference Proceedings}, timestamp = {2016-02-13T11:46:14.000+0100}, title = {Specification and Verification of Message Sequence Charts.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2000.html#Peled00}, volume = 183, year = 2000 }