%0 Journal Article %1 journals/entcs/BhaduriVP02 %A Bhaduri, Purandar %A Venkatesh, R. %A Palshikar, Girish Keshav %D 2002 %J Electron. Notes Theor. Comput. Sci. %K dblp %N 7 %P 1-17 %T Formal Techniques for Analysing Scenarios using Message Sequence Charts. %U http://dblp.uni-trier.de/db/journals/entcs/entcs65.html#BhaduriVP02 %V 65

@article{journals/entcs/BhaduriVP02, added-at = {2020-02-24T00:00:00.000+0100}, author = {Bhaduri, Purandar and Venkatesh, R. and Palshikar, Girish Keshav}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2986043a11712929ed9a1ade42822428b/dblp}, ee = {https://doi.org/10.1016/S1571-0661(04)80481-X}, interhash = {fbccd0fb7a57c2c07d33d4ce12d7381b}, intrahash = {986043a11712929ed9a1ade42822428b}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {dblp}, number = 7, pages = {1-17}, timestamp = {2020-04-20T13:06:42.000+0200}, title = {Formal Techniques for Analysing Scenarios using Message Sequence Charts.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs65.html#BhaduriVP02}, volume = 65, year = 2002 }