Table of Contents
Screenshots of Version 2012-04-09
[
]
Screenshots of Version 2011-10-10
[
]
[
]
[
]
[
]
[
]
[
]
Screenshots of Version 2011-02-14
[
]
[
]
[
]
[
]
[
]
[
]
[
]
Temporal Formula
[
]
[
]
[
]
Finite Automaton
[
]
[
]
[
]
[
]
[
]
[
]
[
]
Alternating Automaton
[
]
Game
[
]
Screenshots of Version 2009-04-19
Main Menu
[
]
Temporal Formula
[
]
[
]
[
]
Automaton
[
]
[
]
[
]
[
]
Alternating Automaton
[
]
[
]
Game
[
]