%0 Journal Article %1 liveproposal %A Damm, W. %A Harel, D. %D 2001 %J Formal Methods in System Design %K BPM collection imported %N 1 %P 45--80 %T LCSs: Breathing Life Into Message Sequence Charts %V 19

@article{liveproposal, added-at = {2012-11-22T19:17:38.000+0100}, author = {Damm, W. and Harel, D.}, biburl = {https://www.bibsonomy.org/bibtex/2b91ee96d869819639918e08cca5221a5/wvdaalst}, interhash = {f816b82bb15ec2423e92731950671acf}, intrahash = {b91ee96d869819639918e08cca5221a5}, journal = {Formal Methods in System Design}, keywords = {BPM collection imported}, number = 1, pages = {45--80}, timestamp = {2012-11-22T19:21:19.000+0100}, title = {{LCSs: Breathing Life Into Message Sequence Charts}}, volume = 19, year = 2001 }