Systems Engineering Wiki (http://seweb.se.wtb.tue.nl)

User Tools

Site Tools

You are here: start » vanbeek » hchi2tchi

Sidebar

Home

Publications:
- from 2009 (pdf)
- until 2008 (pdf)
- Employee pages (no pdf)

Contact

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)

Page Tools

Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
CC Attribution-Noncommercial-Share Alike 4.0 International Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki