Department head, Institute for Theoretical Computer Science
Office: C411
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 4374 |
|---|---|
| E‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 152
FI MU Report Series, year: 1997, volume: 1997, edition: RS-97-02
Electronic Notes in Theoretical Computer Science, year: 1997, volume: 1997, edition: 9
Proceedings of 8th International Conference on Concurrency Theory (CONCUR´97), year: 1997
Proceedings of 24th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'97), year: 1997
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
FI MU Report Series, year: 1996, volume: 1996, edition: RS-96-05
CSL96 - The 1996 Annual Conference of the European Assoc.., year: 1996, number of pages: 3 s.
Proceedings of 23rd Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM´96), year: 1996
Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS´96), year: 1996