A Simulator for Timed CSP (2011)

First Author: Markus Roggenbach (Co-Author)
Attributed to:  Overcoming the railway capacity challenges without undermining rail network safety (SafeCap) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://www.cs.ncl.ac.uk/publications/trs/papers/1272.pdf

Type: Conference/Paper/Proceeding/Abstract