CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2005
-
January 2005
-
January 2005
-
January 2005
-
January 2005
-
January 2005
-
Universal Similarity In Proceedings
January 2005 -
A Compositional Trace Logic For Behavioral Interface Specifications Article
Nordic Journal of Computing, 12(2), 116-132.January 2005