prof. Ing. Tomáš Vojnar, Ph.D.
E‑mail: |
---|
E‑mail: |
---|
Total number of publications: 13
Tools and Algorithms for the Construction and Analysis of Systems, year: 2020
Year: 2012, type:
Year: 2012, type:
Year: 2011, type:
Year: 2011, type:
Year: 2010, type:
Year: 2009, type:
Year: 2009, type:
Electronic Notes in Theoretical Computer Science, year: 2009, volume: 251