Aktive Facetten Hochschule für Angewandte Wissenschaften Hamburg 2011 Heitmann, Frank Köhler-Bußmeier, Michael
Liveness and Reachability for Elementary Object Systems Köhler-Bußmeier, Michael Heitmann, Frank 2011 - ReposIt