Back to Results
First PageMeta Content
Finite automata / Theoretical computer science / Formal languages / Infographics / Linear temporal logic / Temporal logic / Finite-state machine / Diagram / Sequence / Formal verification / Automata theory / Bchi automaton


Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA)
Add to Reading List

Document Date: 2005-05-29 14:49:51


Open Document

File Size: 168,00 KB

Share Result on Facebook