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
Acta informatica, year: 1999, volume: 36, edition: 3
Technical Report, Faculty of Informatics, Masaryk University, year: 1999, volume: 1999, edition: 01
SOFSEM'99: Theory and Practise of Informatics, year: 1999
Electronic Notes in Theoretical Computer Science, year: 1997, volume: 1997, edition: 5
Proceedings of 1st International Workshop on Verification of Infinite State Systems (INFINITY'96), year: 1996
FI MU Report Series, year: 1996, volume: 1996, edition: RS-96-02
CSL96 - The 1996 Annual Conference of the European Assoc.., year: 1996, number of pages: 3 s.
Theoretical Computer Science, year: 1991, volume: 1991, edition: 88
Mathematical Foundations of computer Science, year: 1990
Theoretical Computer Science, year: 1989, volume: 1989, edition: 67