| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 2 |      | Tomas Matousek, Pavel Jezek: DeSpec: Modeling the Windows Driver Environment. Electr. Notes Theor. Comput. Sci. 203(7): 55-69 (2009) |
| 2007 | ||
| 1 | | Tomas Matousek, Filip Zavoral: Extracting Zing Models from C Source Code. SOFSEM (1) 2007: 900-910 |
| 1 | Pavel Jezek | [2] |
| 2 | Filip Zavoral | [1] |
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