First Page | Document Content | |
---|---|---|
Date: 2005-05-29 14:49:51Finite 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 ListSource URL: web.cs.wpi.eduDownload Document from Source WebsiteFile Size: 168,00 KBShare Document on Facebook |