MIN-Fakultät Fachbereich Informatik Bibliothek
Müller-Prove, Matthias
Lebende Blöcke beim Go - Ein formaler Ansatz unter Verwendung von Petri-Netzen