| 2009 | ||
|---|---|---|
| c3 | Prakash Chandrasekaran, Madhavan Mukund: Specifying Interacting Components with Coordinated Concurrent Scenarios. SEFM 2009: 61-69 | |
| 2007 | ||
| c2 | Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani: Programming asynchronous layers with CLARITY. ESEC/SIGSOFT FSE 2007: 65-74 | |
| 2006 | ||
| c1 | Prakash Chandrasekaran, Madhavan Mukund: Matching Scenarios with Timing Constraints. FORMATS 2006: 98-112 | |
| 1 | Christopher L. Conway | |
| 2 | Joseph M. Joy | |
| 3 | Madhavan Mukund | |
| 4 | Sriram K. Rajamani |
Data released under the ODC-BY 1.0 license — See also our legal information page