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

by P James, F Moller, H N Nguyen, M Roggenbach, S Schneider, H Treharne, M Trumble, D Williams
Venue:In FM-RAIL-BOK 2013, To Appear