Formal Methods for Quantitative Aspects of Programming Languages
Titel
Formal Methods for Quantitative Aspects of Programming Languages
Verfasser
Verlag
(A. Aldini, M. Bernardo, A. Di Pierro, H. Wiklicky Ed.), ser. LNCS, Vol. 6154, pp. 135--167, Springer, June 2010.
Datum
2010-06
Art
Text
BibTeX Code
@inbook{Wolter2010,
chapter = {Performance and Security Tradeoff},
pages = {135--167},
title = {Formal Methods for Quantitative Aspects of Programming Languages},
publisher = {Springer},
year = {2010},
editor = {A. Aldini, M. Bernardo, A. Di Pierro, H. Wiklicky},
author = {Katinka Wolter and Philipp Reinecke},
volume = {6154},
series = {LNCS},
month = {June},
owner = {katinka},
timestamp = {2010.07.06}
}