RNDr. Petr Novotný, Ph.D.
Office: C412
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4499 |
---|---|
E‑mail: |
Office: C412
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4499 |
---|---|
E‑mail: |
Total number of publications: 28
CoRR, year: 2014, volume: 2014
Computer Aided Verification, year: 2014
CoRR, year: 2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), year: 2014
Mathematical and Engineering Methods in Computer Science (MEMICS 2012), year: 2013
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013), year: 2013
Computer Aided Verification - 24th International Conference, CAV 2012, year: 2012
Proceedings of 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), year: 2012