Prakash Chandrasekaran, Madhavan Mukund
Specifying Interacting Components with Coordinated Concurrent Scenarios
SEFM, 2009.
@inproceedings{SEFM-2009-ChandrasekaranM, author = "Prakash Chandrasekaran and Madhavan Mukund", booktitle = "{Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods}", doi = "10.1109/SEFM.2009.18", isbn = "978-0-7695-3870-9", pages = "61--69", publisher = "{IEEE Computer Society}", title = "{Specifying Interacting Components with Coordinated Concurrent Scenarios}", year = 2009, }