The book is currently out of stock
A multi-phase deadlock detection method for reactive systems based on UML-models
Authors
Book variant
2006, paperbackBook purchase
The book is currently out of stock.
2006, paperbackWe have over a million books in stock
2006, paperback