Relating Alternating Relations for Conformance and Refinement

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-030-34968-4_14 ◽

2019 ◽

pp. 246-264 ◽

Author(s):

Ramon Janssen ◽

Frits Vaandrager ◽

Jan Tretmans

Download Full-text