Characterization and Verification of Stuttering Equivalence

Lecture Notes in Computer Science - Symposium on Real-Time and Hybrid Systems ◽

10.1007/978-3-030-01461-2_7 ◽

2018 ◽

pp. 116-132

Author(s):

Xinxin Liu ◽

Wenhui Zhang

Download Full-text