EFFECTIVE CHARACTERIZATIONS OF SIMPLE FRAGMENTS OF TEMPORAL LOGIC USING CARTON–MICHEL AUTOMATA.
Saved in:
| Title: | EFFECTIVE CHARACTERIZATIONS OF SIMPLE FRAGMENTS OF TEMPORAL LOGIC USING CARTON–MICHEL AUTOMATA. |
|---|---|
| Authors: | PREUGSCHAT, EBASTIAN1, preugschat@ti.informatik.uni-kiel.de, WILKE, THOMAS1, wilke@ti.informatik.uni-kiel.de |
| Source: | Logical Methods in Computer Science (LMCS); Apr2013, Vol. 9 Issue 2, p1-22, 22p |
| Database: | Applied Science & Technology Source |
| ISSN: | 18605974 |
|---|---|
| DOI: | 10.2168/LMCS-9(2:08)2013 |
