%0 Conference Paper %1 parametricWCET2003 %A Lisper, Björn %B WCET %D 2003 %E Gustafsson, Jan %I Department of Computer Science and Engineering, Mälardalen University, Box 883, 721 23 Västerås, Sweden %K SPA WCET bounds mgr symbolic %P 99-102 %T Fully Automatic, Parametric Worst-Case Execution Time Analysis. %U http://www.mrtc.mdh.se/publications/0531.ps %V MDH-MRTC-116/2003-1-SE

@inproceedings{parametricWCET2003, added-at = {2009-07-09T09:43:42.000+0200}, author = {Lisper, Björn}, biburl = {https://www.bibsonomy.org/bibtex/29ccfa09e6268ad799ec8d0bf5bc98bf5/gwpl}, booktitle = {WCET}, crossref = {conf/wcet/2003}, date = {2005-04-19}, description = {dblp}, editor = {Gustafsson, Jan}, interhash = {7f636fc39db5b4898edc654d8c3970ce}, intrahash = {9ccfa09e6268ad799ec8d0bf5bc98bf5}, keywords = {SPA WCET bounds mgr symbolic}, note = {http://www.mrtc.mdh.se/publications/0531.pdf http://www.mrtc.mdh.se/publications/0531.ps http://dblp.uni-trier.de/db/conf/wcet/wcet2003.html#Lisper03}, pages = {99-102}, publisher = {Department of Computer Science and Engineering, Mälardalen University, Box 883, 721 23 Västerås, Sweden}, timestamp = {2009-07-09T09:45:49.000+0200}, title = {Fully Automatic, Parametric Worst-Case Execution Time Analysis.}, url = {http://www.mrtc.mdh.se/publications/0531.ps}, volume = {MDH-MRTC-116/2003-1-SE}, year = 2003 }