%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 dblp %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 = {2021-07-07T00:00:00.000+0200}, author = {Jhumka, Arshad and Hiller, Martin and Claesson, Vilgot and Suri, Neeraj}, biburl = {https://www.bibsonomy.org/bibtex/219c4f60aa372b7a655917ccf3cbb050b/dblp}, booktitle = {LCTES-SCOPES}, crossref = {conf/lctrts/2002}, editor = {Marwedel, Peter and Devadas, Srinivas}, ee = {https://doi.org/10.1145/566225.513843}, interhash = {7a959213b96132fab01687783dab5740}, intrahash = {19c4f60aa372b7a655917ccf3cbb050b}, isbn = {1-58113-527-0}, keywords = {dblp}, pages = {75-84}, publisher = {ACM}, timestamp = {2024-04-09T09:43:53.000+0200}, 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 }