| |
| 2006 | ||
|---|---|---|
| 2 | EE | Daniel Lamch, Roman Wyrzykowski: Specification, Analysis and Testing of Grid Environments Using Abstract State Machines. PARELEC 2006: 116-120 |
| 2002 | ||
| 1 | EE | Daniel Lamch: Verification and Analysis of Properties of Dynamic Systems Based on Petri Nets. PARELEC 2002: 92-94 |
| 1 | Roman Wyrzykowski | [2] |