%0 Conference Paper %1 conf/mbmv/FordranFHSS03 %A Fordran, Eva %A Fruth, Matthias %A Hensel, Ulrich %A Shaoyu, Hu %A Srinivasan, Madabhushi %B MBMV %D 2003 %E Drechsler, Rolf %I Shaker %K %P 239-248 %T Model Checking in an Industrial Environment. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2003.html#FordranFHSS03

@inproceedings{conf/mbmv/FordranFHSS03, added-at = {2023-12-12T19:20:16.000+0100}, author = {Fordran, Eva and Fruth, Matthias and Hensel, Ulrich and Shaoyu, Hu and Srinivasan, Madabhushi}, biburl = {https://www.bibsonomy.org/bibtex/2f3c637049b05ac15c49f22a697e512c3/admin}, booktitle = {MBMV}, crossref = {conf/mbmv/2003}, editor = {Drechsler, Rolf}, interhash = {1f31bac5965008ae2b784abec96cd545}, intrahash = {f3c637049b05ac15c49f22a697e512c3}, keywords = {}, pages = {239-248}, publisher = {Shaker}, timestamp = {2023-12-12T19:20:16.000+0100}, title = {Model Checking in an Industrial Environment.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2003.html#FordranFHSS03}, year = 2003 }