User Tools

Site Tools


vanbeek:hchi2tchi

Syntax and Semantics of Timed Chi

D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers

Computing Science Report 05-09, Eindhoven University of Technology, Department of Mathematics and Computing Science, 2005.

pdf

vanbeek/hchi2tchi.txt · Last modified: Wednesday, 19 March 2008 : 15:56:32 (external edit)