%0 Conference Paper %1 conf/icdcs/BagrodiaS91 %A Bagrodia, Rajive L. %A Shen, Chien-Chung %B ICDCS %D 1991 %I IEEE Computer Society %K dblp %P 164-171 %T Integrated design, simulation, and verification of real-time systems. %U http://dblp.uni-trier.de/db/conf/icdcs/icdcs1991.html#BagrodiaS91 %@ 0-8186-2144-3

@inproceedings{conf/icdcs/BagrodiaS91, added-at = {2023-03-24T00:00:00.000+0100}, author = {Bagrodia, Rajive L. and Shen, Chien-Chung}, biburl = {https://www.bibsonomy.org/bibtex/20130f1d60f2b2808e8ad6f4b828a0caf/dblp}, booktitle = {ICDCS}, crossref = {conf/icdcs/1991}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICDCS.1991.148660}, interhash = {330c9230bc9ecb9492dcd33053a4eb3e}, intrahash = {0130f1d60f2b2808e8ad6f4b828a0caf}, isbn = {0-8186-2144-3}, keywords = {dblp}, pages = {164-171}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:45:18.000+0200}, title = {Integrated design, simulation, and verification of real-time systems.}, url = {http://dblp.uni-trier.de/db/conf/icdcs/icdcs1991.html#BagrodiaS91}, year = 1991 }