CSL-LICS 2014
Book title Buchtitel
CSL-LICS 2014
Publisher Herausgeber
ACM New York, NY, USA
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Bova, Simone ; Ganian, Robert ; Szeider, Stefan | Model Checking Existential Logic on Partially Ordered Sets | Konferenzbeitrag Inproceedings  | 2014 |