<--- Back to Details
First PageDocument Content
Computer science / Büchi automaton / Finite-state machine / Powerset construction / Infinite tree automaton / Ω-automaton / Automata theory / Theoretical computer science / Models of computation
Date: 2013-09-13 15:44:12
Computer science
Büchi automaton
Finite-state machine
Powerset construction
Infinite tree automaton
Ω-automaton
Automata theory
Theoretical computer science
Models of computation

Recognizing safety and liveness

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

Download Document from Web Archive

File Size: 1,04 MB