共 50 条
- [21] An automaton-based approach to the verification of timed workflow schemas TIME 2006: THIRTEENTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2006, : 87 - +
- [22] Efficient automaton-based recognition for linear conjunctive languages 2003, Springer Verlag (2608):
- [23] Efficient automaton-based recognition for linear conjunctive languages IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2003, 2608 : 169 - 181
- [24] Correction: Automaton-based comparison of Declare process models Software and Systems Modeling, 2023, 22 : 687 - 687
- [25] Automaton-Based Methodology for Implementing Optimization Constraints for Quantum Annealing 17TH ACM INTERNATIONAL CONFERENCE ON COMPUTING FRONTIERS 2020 (CF 2020), 2020, : 118 - 125
- [28] A fast automaton-based method for detecting anomalous program behaviors 2001 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2001, : 144 - 155
- [29] Towards compact and tractable automaton-based representations of time granularities THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2003, 2841 : 72 - 85
- [30] Oscillatory behavior in a cellular automaton-based model of metal passivation ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2019, 258