%0 Journal Article %1 journals/fmsd/DammH01 %A Damm, Werner %A Harel, David %D 2001 %J Formal Methods Syst. Des. %K dblp %N 1 %P 45-80 %T LSCs: Breathing Life into Message Sequence Charts. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd19.html#DammH01 %V 19

@article{journals/fmsd/DammH01, added-at = {2020-03-13T00:00:00.000+0100}, author = {Damm, Werner and Harel, David}, biburl = {https://www.bibsonomy.org/bibtex/29016aca9746ef12613707304b21e7673/dblp}, ee = {https://doi.org/10.1023/A:1011227529550}, interhash = {70c27dd78fbea9c5f0c47d6dbf696546}, intrahash = {9016aca9746ef12613707304b21e7673}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 1, pages = {45-80}, timestamp = {2020-03-14T11:51:31.000+0100}, title = {LSCs: Breathing Life into Message Sequence Charts.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd19.html#DammH01}, volume = 19, year = 2001 }