Building A State-Of-The-Art Model Checker.

Sebastian Wolff

Browse the full GI paper archive.