Professor, Department of Computer Science
Office: A411
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 3647 |
|---|---|
| E‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 199
Foundations of Coordination Languages and Software Architecture (FOCLASA`02), year: 2002
Year: 2002, number of pages: 165 s.
M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic, year: 2002
1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002), year: 2002
Year: 2002
FST-TCS 2001, year: 2001
M.B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop, year: 2001
SOFSEM 2001, year: 2001
SOFSEM 2001 28th Conf.on Current Trends in Theory and Practice of Informatics, year: 2001
Process Algebra and Probabilistic Methods. Proceedings of PAPM-PROBMIV 2001, year: 2001