Railway modelling in CSP||B: the double junction case study

Markus Roggenbach, Faron Moller, Steve Schneider, Helen Treharne, Hoang Nga Nguyen. Railway modelling in CSP||B: the double junction case study. ECEASST, 53, 2012. [doi]

Abstract

Abstract is missing.