Model Checking Geographically Distributed Interlocking Systems Using UMC.

Alessandro Fantechi, Anne E. Haxthausen, Michel Boje Randahl Nielsen

Browse the full PDP paper archive.