The book is currently out of stock
Ein Verfahren zur Spezifikation von Protokollen für die Verifikation und Synthese protokollorientierter digitaler Systeme
Authors
Book variant
2005, paperbackBook purchase
The book is currently out of stock.
2005, paperback