On Detecting Deadlocks in Large UML Models
Kersten, Michael and Nebel, Wolfgang
Design Methods and Applications for Distributed Embedded Systems
08 / 2004
1-4020-8148-0
inproceedings
KLUWER ACADEMIC PUBLISHERS; Boston, Dordrecht, London
KLUWER ACADEMIC PUBLISHERS; Boston, Dordrecht, London
OFFIS Autoren
