%0 Conference Paper %1 conf/sefm/ChandrasekaranM09 %A Chandrasekaran, Prakash %A Mukund, Madhavan %B SEFM %D 2009 %E Hung, Dang Van %E Krishnan, Padmanabhan %I IEEE Computer Society %K dblp %P 61-69 %T Specifying Interacting Components with Coordinated Concurrent Scenarios. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2009.html#ChandrasekaranM09 %@ 978-0-7695-3870-9

@inproceedings{conf/sefm/ChandrasekaranM09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Chandrasekaran, Prakash and Mukund, Madhavan}, biburl = {https://www.bibsonomy.org/bibtex/2ff327c2d1ec539e5bf967530fa479f41/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2009}, editor = {Hung, Dang Van and Krishnan, Padmanabhan}, ee = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2009.18}, interhash = {7b896aecba8ccafb19cfeed410b976ee}, intrahash = {ff327c2d1ec539e5bf967530fa479f41}, isbn = {978-0-7695-3870-9}, keywords = {dblp}, pages = {61-69}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:21:26.000+0200}, title = {Specifying Interacting Components with Coordinated Concurrent Scenarios.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2009.html#ChandrasekaranM09}, year = 2009 }