Bounded Model Checking for the Existential Fragment of TCTL<sub>-G</sub> and Diagonal Timed Automata.

Bozena Wozna Andrzej Zbrzezny Bounded Model Checking for the Existential Fragment of TCTL<sub>-G</sub> and Diagonal Timed Automata. 229-256 2007 79 Fundam. Inform. 1-2 http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=79&issue=1&spage=229 db/journals/fuin/fuin79.html#WoznaZ07