共 50 条
- [34] Various Aspects of Finite Quantum Automata (Extended Abstract) DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2008, 5257 : 21 - 33
- [35] Nee automata and term rewrite systems (Extended abstract) REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2000, 1833 : 27 - 30
- [37] Keynote Abstract Timed and Probabilistic I/O Automata 2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 12 - 12
- [38] On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract) ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (151): : 49 - 54
- [39] Concavely-Priced Timed Automata (Extended Abstract) FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2008, 5215 : 48 - 62
- [40] Automatic Transformation of Abstract AUTOSAR Architectures to Timed Automata PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON MODEL BASED ARCHITECTING AND CONSTRUCTION OF EMBEDDED SYSTEMS (ACES'MB 2012), 2013, : 55 - 60