Verification of Scheme Plans using CSP||B (2013)

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

Type: Conference/Paper/Proceeding/Abstract