Graphs in MetaFrame: The unifying power of polymorphism

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/bfb0035384 ◽

1997 ◽

pp. 112-129 ◽

Cited By ~ 6

Author(s):

M. von der Beeck ◽

V. Braun ◽

A. Claßen ◽

A. Dannecker ◽

C. Friedrich ◽

...

Download Full-text