%0 Conference Paper %1 conf/vts/HasanC93 %A Hasan, Zafar %A Ciesielski, Maciej J. %B VTS %D 1993 %I IEEE Computer Society %K dblp %P 326-332 %T Functional verification and simulation of FSM networks. %U http://dblp.uni-trier.de/db/conf/vts/vts1993.html#HasanC93 %@ 0-8186-3830-3

@inproceedings{conf/vts/HasanC93, added-at = {2023-03-24T00:00:00.000+0100}, author = {Hasan, Zafar and Ciesielski, Maciej J.}, biburl = {https://www.bibsonomy.org/bibtex/2809ed9859984b197cfedb733f64f04fc/dblp}, booktitle = {VTS}, crossref = {conf/vts/1993}, ee = {https://doi.ieeecomputersociety.org/10.1109/VTEST.1993.313371}, interhash = {972fb863875fc39214b7768f74b6eed4}, intrahash = {809ed9859984b197cfedb733f64f04fc}, isbn = {0-8186-3830-3}, keywords = {dblp}, pages = {326-332}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T07:35:06.000+0200}, title = {Functional verification and simulation of FSM networks.}, url = {http://dblp.uni-trier.de/db/conf/vts/vts1993.html#HasanC93}, year = 1993 }