Multi-core Model Checking of Large-Scale Reactive Systems Using Different State Representations.

Marc Jasper, Markus Schordan

Browse the full ISoLA paper archive.