%0 Conference Paper %1 conf/iccd/DagaB95 %A Daga, Ajay J. %A Birmingham, William P. %B ICCD %D 1995 %I IEEE Computer Society %K dblp %P 584-589 %T A symbolic-simulation approach to the timing verification of interacting FSMs. %U http://dblp.uni-trier.de/db/conf/iccd/iccd1995.html#DagaB95 %@ 0-8186-7165-3

@inproceedings{conf/iccd/DagaB95, added-at = {2023-03-23T00:00:00.000+0100}, author = {Daga, Ajay J. and Birmingham, William P.}, biburl = {https://www.bibsonomy.org/bibtex/28b1cb61999799c7c4371c460c55e6339/dblp}, booktitle = {ICCD}, crossref = {conf/iccd/1995}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICCD.1995.528927}, interhash = {0b9de07b68412aeb62f2720a082a2d91}, intrahash = {8b1cb61999799c7c4371c460c55e6339}, isbn = {0-8186-7165-3}, keywords = {dblp}, pages = {584-589}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T21:58:55.000+0200}, title = {A symbolic-simulation approach to the timing verification of interacting FSMs.}, url = {http://dblp.uni-trier.de/db/conf/iccd/iccd1995.html#DagaB95}, year = 1995 }