Name Card

Full name Familienname, Vorname
Teska, Jakub
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ganian, Robert ; Hlineny, Petr ; Kral, Daniel ; Obdrzalek, Jan ; Schwartz, Jarett ; Teska, Jakub FO Model Checking of Interval GraphsArtikel Article2015
2Ganian, Robert ; Hlinený, Petr ; Král, Daniel ; Obdrálek, Jan ; Schwartz, Jarett ; Teska, Jakub FO Model Checking of Interval GraphsKonferenzbeitrag Inproceedings 2013