DMCA

On modelling and verifying railway interlockings: Tracking train lengths

Cached

Download Links

by Phillip James, et al.
Venue:SCIENCE OF COMPUTER PROGRAMMING
Citations:3 - 3 self