Publication
-
January 1994
-
BENELOG 1994 : proceedings of the sixth Benelux workshop on logic programming, Amsterdam, 02.09.1994 Proceedings
January 1994
-
January 1994 -
January 1994
-
CMIFed: A Transportable Hypermedia Authoring System Miscellaneous
January 1994
-
Action transducers and timed automata Tech Report
January 1994
-
Branching bisimulation as a strong bisimulation Tech Report
January 1994
-
The Amsterdam Hypermedia Model: Adding Time and Context to the Dexter Model Article
Communications of the ACM, 37(2), 50-62.January 1994