Number of items: 1.
2001
Hartog den, J.I. and Vink de, E.P. and Bakker de, J.W. (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.
This list was generated on Wed Jun 19 06:32:38 2013 CEST.
Back to University of Twente portal