%0 Conference Paper %1 conf/lctrts/JhumkaHCS02 %A Jhumka, Arshad %A Hiller, Martin %A Claesson, Vilgot %A Suri, Neeraj %B LCTES-SCOPES %D 2002 %E Marwedel, Peter %E Devadas, Srinivas %I ACM %K %P 75-84 %T On systematic design of globally consistent executable assertions in embedded software. %U http://dblp.uni-trier.de/db/conf/lctrts/lctes2002.html#JhumkaHCS02 %@ 1-58113-527-0

@inproceedings{conf/lctrts/JhumkaHCS02, added-at = {2023-12-13T02:04:46.000+0100}, author = {Jhumka, Arshad and Hiller, Martin and Claesson, Vilgot and Suri, Neeraj}, biburl = {https://www.bibsonomy.org/bibtex/219c4f60aa372b7a655917ccf3cbb050b/admin}, booktitle = {LCTES-SCOPES}, crossref = {conf/lctrts/2002}, editor = {Marwedel, Peter and Devadas, Srinivas}, ee = {https://doi.org/10.1145/513829.513843}, interhash = {7a959213b96132fab01687783dab5740}, intrahash = {19c4f60aa372b7a655917ccf3cbb050b}, isbn = {1-58113-527-0}, keywords = {}, pages = {75-84}, publisher = {ACM}, timestamp = {2023-12-13T02:04:46.000+0100}, title = {On systematic design of globally consistent executable assertions in embedded software.}, url = {http://dblp.uni-trier.de/db/conf/lctrts/lctes2002.html#JhumkaHCS02}, year = 2002 }