Timed CSP Simulator (2012)

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://fmt.isti.cnr.it/~mtbeek/ifm-abz-posters-tools.pdf

Type: Conference/Paper/Proceeding/Abstract