%0 Conference Paper %1 conf/vstte/BlazyMP13 %A Blazy, Sandrine %A Maroneze, André %A Pichardie, David %B VSTTE %D 2013 %E Cohen, Ernie %E Rybalchenko, Andrey %I Springer %K dblp %P 281-303 %T Formal Verification of Loop Bound Estimation for WCET Analysis. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2013.html#BlazyMP13 %V 8164 %@ 978-3-642-54107-0

@inproceedings{conf/vstte/BlazyMP13, added-at = {2021-08-16T00:00:00.000+0200}, author = {Blazy, Sandrine and Maroneze, André and Pichardie, David}, biburl = {https://www.bibsonomy.org/bibtex/24009a61fbd47fb3da8a3d72dbfeccb07/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2013}, editor = {Cohen, Ernie and Rybalchenko, Andrey}, ee = {https://doi.org/10.1007/978-3-642-54108-7_15}, interhash = {f3611c0b440ac66d9b2aa0e76bfef042}, intrahash = {4009a61fbd47fb3da8a3d72dbfeccb07}, isbn = {978-3-642-54107-0}, keywords = {dblp}, pages = {281-303}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T12:19:07.000+0200}, title = {Formal Verification of Loop Bound Estimation for WCET Analysis.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2013.html#BlazyMP13}, volume = 8164, year = 2013 }