|
@article{ST00, author = {Karsten Strehl and Lothar Thiele}, title = {Interval Diagrams for Efficient Symbolic Verification of Process Networks}, journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems}, number = {8}, pages = {939--956}, volume = {19}, month = {Aug}, year = {2000} }