共 50 条
- [22] Modal Transition Systems: Composition and LTL Model Checking AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 228 - 242
- [24] General quantitative specification theories with modal transition systems Acta Informatica, 2014, 51 : 261 - 295
- [25] Enforcing opacity of regular predicates on modal transition systems DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2015, 25 (1-2): : 251 - 270
- [27] Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints INTEGRATED FORMAL METHODS, IFM 2019, 2019, 11918 : 542 - 546
- [28] A modal mu-calculus for durational transition systems 11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 128 - 137
- [29] Enforcing opacity of regular predicates on modal transition systems Discrete Event Dynamic Systems, 2015, 25 : 251 - 270