Chakraborty, Joy and Souza, Deepak D and Narayan Kumar, K
(2010)
Analysing Message Sequence Graph Specifications.
In: Proceedings of 4th International Symposium on Leveraging Applications of Formal Methods ISoLA) 2010, LNCS 6415, 2010.
This list was generated on Sat May 25 11:59:56 2013 IST.
