| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2000 | |
|---|---|---|
| 2 |      | William Majurski, Alden Dima, Mary Laamanen: Flits: Pervasive Computing for Processor and Memory Constrained Systems. ICPP Workshops 2000: 31-38 |
| 1998 | ||
| 1 | | Paul Ammann, Paul E. Black, William Majurski: Using Model Checking to Generate Tests from Specifications. ICFEM 1998: 46- |
| 1 | Paul Ammann | [1] |
| 2 | Paul E. Black | [1] |
| 3 | Alden Dima | [2] |
| 4 | Mary Laamanen | [2] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page