共 50 条
- [1] Mining Branching-Time Scenarios 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2013, : 443 - 453
- [2] Memoryful branching-time logic 21ST ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2006, : 265 - +
- [3] On the Complexity of Branching-Time Logics COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2009, 5771 : 530 - 545
- [7] A Monitoring Tool for a Branching-Time Logic RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 473 - 481
- [10] Completeness of a Branching-Time Logic with Possible Choices Studia Logica, 2010, 96 : 393 - 420