%0 Conference Paper %1 conf/jtres/HuntSST06 %A Hunt, James J. %A Siebert, Fridtjof %A Schmitt, Peter H. %A Tonin, Isabel %B JTRES %D 2006 %E Richard-Foy, Marc %I ACM %K dblp %P 162-169 %T Provably correct loops bounds for realtime Java programs. %U http://dblp.uni-trier.de/db/conf/jtres/jtres2006.html#HuntSST06

@inproceedings{conf/jtres/HuntSST06, added-at = {2022-01-28T00:00:00.000+0100}, author = {Hunt, James J. and Siebert, Fridtjof and Schmitt, Peter H. and Tonin, Isabel}, biburl = {https://www.bibsonomy.org/bibtex/26151202b61848104d2bf37e78f8be6ea/dblp}, booktitle = {JTRES}, crossref = {conf/jtres/2006}, editor = {Richard-Foy, Marc}, ee = {https://doi.org/10.1145/1167999.1168026}, interhash = {0a440e47f1d5028439212ba0e382dfc1}, intrahash = {6151202b61848104d2bf37e78f8be6ea}, keywords = {dblp}, pages = {162-169}, publisher = {ACM}, timestamp = {2024-04-09T19:36:43.000+0200}, title = {Provably correct loops bounds for realtime Java programs.}, url = {http://dblp.uni-trier.de/db/conf/jtres/jtres2006.html#HuntSST06}, year = 2006 }