Automata, Languages, and Programming - 40th International Colloquium
Book title Buchtitel
Automata, Languages, and Programming - 40th International Colloquium
Publisher Herausgeber
Springer / LNCS
Place of publishing Erscheinungsort
7966
Date issued
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ganian, Robert ; Hlinený, Petr ; Král, Daniel ; Obdrálek, Jan ; Schwartz, Jarett ; Teska, Jakub | FO Model Checking of Interval Graphs | Konferenzbeitrag Inproceedings  | 2013 |