Up a level |
Souza, Deepak D and Tabareau, Nicolas (2004) On Timed Automata with Input-Determined Guards. [Book Chapter]
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.