The methodology of modal constraints

Formal Systems Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0024437 ◽

1996 ◽

pp. 405-435 ◽

Cited By ~ 7

Author(s):

Kim G. Larsen ◽

Bernhard Steffen ◽

Carsten Weise

Download Full-text