@dblp

Revisiting Compatibility of Input-Output Modal Transition Systems.

, , , and . FM, volume 8442 of Lecture Notes in Computer Science, page 367-381. Springer, (2014)

Links and resources

Tags