Compositional Checking of Communication among Observers

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/3-540-45314-8_4 ◽

2001 ◽

pp. 32-44

Author(s):

Ralf Pinger ◽

Hans-Dieter Ehrich

Download Full-text