%0 Conference Paper %1 conf/iscas/DekaCDC01 %A Deka, Jatindra Kumar %A Chaki, S. %A Dasgupta, Pallab %A Chakrabarti, P. P. %B ISCAS (5) %D 2001 %I IEEE %K dblp %P 125-128 %T Abstractions for model checking of event timings. %U http://dblp.uni-trier.de/db/conf/iscas/iscas2001-5.html#DekaCDC01 %@ 0-7803-6685-9

@inproceedings{conf/iscas/DekaCDC01, added-at = {2022-11-07T00:00:00.000+0100}, author = {Deka, Jatindra Kumar and Chaki, S. and Dasgupta, Pallab and Chakrabarti, P. P.}, biburl = {https://www.bibsonomy.org/bibtex/29638f27cacb695f91aea819c2876638c/dblp}, booktitle = {ISCAS (5)}, crossref = {conf/iscas/2001}, ee = {https://doi.org/10.1109/ISCAS.2001.922001}, interhash = {68402199f9f0ef53c9a2e7ebc8962fd3}, intrahash = {9638f27cacb695f91aea819c2876638c}, isbn = {0-7803-6685-9}, keywords = {dblp}, pages = {125-128}, publisher = {IEEE}, timestamp = {2024-04-10T17:44:33.000+0200}, title = {Abstractions for model checking of event timings.}, url = {http://dblp.uni-trier.de/db/conf/iscas/iscas2001-5.html#DekaCDC01}, year = 2001 }