Model Checking in an Industrial Environment
Ulrich Hensel, Eva Fordran, Matthias Fruth, Hu Shaoyu and Madabhushi Srinivasan infobook title | Proceedings of the GI/ITG/GMM Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" |
publisher | Shaker-Verlag |
year | 2003 |
links
BibTeX
Download (pdf)
related pages
|
