共 50 条
- [1] On (I/O)-Aware Good-For-Games Automata [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2020), 2020, 12302 : 161 - 178
- [6] A note on fairness in I/O automata [J]. INFORMATION PROCESSING LETTERS, 1996, 59 (05) : 245 - 250
- [7] A Methodology for the Investigation of I/O Automata [J]. 2012 7TH INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2012, : 133 - 136
- [8] Modularity for teams of I/O automata [J]. INFORMATION PROCESSING LETTERS, 2005, 95 (05) : 487 - 495
- [10] From I/O automata to timed I/O automata -: A solution to the 'Generalized Railroad Crossing' in Isabelle/HOLCF [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 1999, 1690 : 273 - 289