Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2001
Number of items: 1.

2001

Hartog, J.I. den and Vink, E.P. de and Bakker, J.W. de (2001) Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. In: First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2000, 20-21 July 2000, Cork, Ireland (pp. pp. 72-99).

This list was generated on Mon Sep 1 05:34:07 2014 CEST.