Process Rewrite Systems for Software Model Checking.

Tayssir Touili

Browse the full TASE paper archive.