%0 Conference Paper %1 conf/hldvt/BraunGR02 %A Braun, Axel G. %A Gerlach, Joachim %A Rosenstiel, Wolfgang %B HLDVT %D 2002 %I IEEE Computer Society %K %P 23-27 %T Checking temporal properties in SystemC specifications. %U http://dblp.uni-trier.de/db/conf/hldvt/hldvt2002.html#BraunGR02 %@ 0-7803-7655-2

@inproceedings{conf/hldvt/BraunGR02, added-at = {2023-12-13T07:57:54.000+0100}, author = {Braun, Axel G. and Gerlach, Joachim and Rosenstiel, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/2103b22e7515f378e27b5e32488a913c0/admin}, booktitle = {HLDVT}, crossref = {conf/hldvt/2002}, ee = {http://doi.ieeecomputersociety.org/10.1109/HLDVT.2002.1224423}, interhash = {bf51b55195b2c0cde355a0aa92e2b762}, intrahash = {103b22e7515f378e27b5e32488a913c0}, isbn = {0-7803-7655-2}, keywords = {}, pages = {23-27}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T07:57:54.000+0100}, title = {Checking temporal properties in SystemC specifications.}, url = {http://dblp.uni-trier.de/db/conf/hldvt/hldvt2002.html#BraunGR02}, year = 2002 }