Model Checking in an Industrial Environment
Ulrich Hensel‚ Eva Fordran‚ Matthias Fruth‚ Hu Shaoyu and Madabhushi Srinivasan
Book Title
Proceedings of the GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
Publisher
Shaker−Verlag
Year
2003