| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 3 |      | Prakash Chandrasekaran, Madhavan Mukund: Specifying Interacting Components with Coordinated Concurrent Scenarios. SEFM 2009: 61-69 |
| 2007 | ||
| 2 | | Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani: Programming asynchronous layers with CLARITY. ESEC/SIGSOFT FSE 2007: 65-74 |
| 2006 | ||
| 1 | | Prakash Chandrasekaran, Madhavan Mukund: Matching Scenarios with Timing Constraints. FORMATS 2006: 98-112 |
| 1 | Christopher L. Conway | [2] |
| 2 | Joseph M. Joy | [2] |
| 3 | Madhavan Mukund | [1] [3] |
| 4 | Sriram K. Rajamani | [2] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page