共 50 条
- [5] Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2021, 2021, 12719 : 182 - 187
- [6] Off-the-shelf automated analysis of liveness properties for just paths Acta Informatica, 2020, 57 : 551 - 590