Datenbestand vom 03. Februar 2012
Fax: 089 / 66060799 Tel: 089 / 66060798 Mo - Fr, 9 - 12 Uhr
Impressum
aktualisiert am 03. Februar 2012
3-89963-459-4, Reihe Informatik
Michael Kersten A Multi-Phase Deadlock Detection Method for Reactive Systems Based on UML Models
190 Seiten, Dissertation Carl von Ossietzky Universität Oldenburg (2006), Softcover, A5