Model Checking Concurrent Recursive Programs Using Temporal Logics.

Roy Mennicke

Browse the full MFCS paper archive.