Eva Fordran, Matthias Fruth, Ulrich Hensel, Hu Shaoyu, Madabhushi Srinivasan. Model Checking in an Industrial Environment. In Rolf Drechsler, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003. pages 239-248, Shaker, 2003.
@inproceedings{FordranFHSS03,
title = {Model Checking in an Industrial Environment},
author = {Eva Fordran and Matthias Fruth and Ulrich Hensel and Hu Shaoyu and Madabhushi Srinivasan},
year = {2003},
researchr = {https://researchr.org/publication/FordranFHSS03},
cites = {0},
citedby = {0},
pages = {239-248},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003},
editor = {Rolf Drechsler},
publisher = {Shaker},
}