Bookbot
The book is currently out of stock

A multi-phase deadlock detection method for reactive systems based on UML-models

Parameters

Book purchase

A multi-phase deadlock detection method for reactive systems based on UML-models, Michael Kersten

Language
Released
2006
We’ll notify you via email once we track it down.

Payment methods