Project Planning Support by Model Checking.

Bjrn Axenath, Oliver Sudmann

Browse the full GI paper archive.