Department head, Department of Computer Science
Office: A410
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 3890 |
|---|---|
| E‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 122
Electronic Notes on Theoretical Computer Science, year: 2005, volume: 128, edition: 3
In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05), year: 2005
Formal Methods for Industrial Critical Systems, year: 2005
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2005), year: 2005
Year: 2005, number of pages: 21 s.
Formal Methods in Computer-Aided Design (FMCAD), year: 2004
Year: 2004, number of pages: 22 s.
Parallel Computing: Software Technology, Algorithms, Architectures & Applications, year: 2004
Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004), year: 2004
SPIN Workshop 2003, year: 2003