|
@inproceedings{St98b, author = {Karsten Strehl and Lothar Thiele}, title = {Symbolic Model Checking of Process Networks Using Interval Diagram Techniques}, address = {San Jose, California}, booktitle = {Proceedings of the IEEE/ACM International Conference on Computer-Aided Design (ICCAD-98)}, pages = {686--692}, month = {Nov}, year = {1998} }