Title |
Formale Modellierung asynchroner Systeme / Markus Kohn |
|---|---|
Involved |
Markus Kohn (Verfasser) |
Published |
Berlin: Bertz |
Extent |
X, 149 S. : graph. Darst. |
Thesis |
Zugl.: Karlsruhe, Univ., Diss., 1997 |
ISBN |
978-3-929470-55-0 |
Topic |
|
Subject |
Asynchrones Schaltwerk, Formale Spezifikationstechnik, Verifikation |
Series |
Edition Versal ; Bd. 5 |
Record ID |
950368709 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: