Back to Results
First PageMeta Content
Method of analytic tableaux / Theoretical computer science / Applied mathematics / Ω-automaton / Formal language / Automata theory / Mathematics / Automated theorem proving


A Decision Procedure for CTL∗ Based on Tableaux and Automata Oliver Friedmann1 , Markus Latte1 , and Martin Lange2 1 2
Add to Reading List

Document Date: 2012-02-10 07:43:08

Open Document

File Size: 457,62 KB

Share Result on Facebook
UPDATE