Items where Author is "Chandrasekaran, Prakash"

Chandrasekaran, Prakash ; Mukund, Madhavan (2009) Specifying interacting components with coordinated concurrent scenarios In: 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 23-27 Nov 2009, Hanoi, Vietnam.

Chandrasekaran, Prakash ; Mukund, Madhavan (2006) Matching scenarios with timing constraints In: 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006, 25-27 Sep 2006, Paris, France.