- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 1 |      | Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil: Synthesis of synchronous assertions with guarded atomic actions. MEMOCODE 2005: 15-24 |
| 1 | Mieszko Lis | [1] |
| 2 | Rishiyur S. Nikhil | [1] |
| 3 | Michael Pellauer | [1] |