Concurrent Algorithms and Data Structures for Model Checking (Invited Talk).

Jaco van de Pol

Browse the full CONCUR paper archive.