BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @article{TUW-185675, author = {Kirner, Raimund and Knoop, Jens and Prantl, Adrian and Schordan, Markus and Kadlec, Albrecht}, title = {Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time Analysis}, journal = {Journal of Software and Systems Modeling (online-edition)}, year = {2010}, volume = {oB}, doi = {10.1007/s10270-010-0161-0} } 1 Datensatz ausgegeben