Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings.

Kirsten Winter

Browse the full ISoLA paper archive.