AG Technische Informatik

Formal Methods for Quantitative Aspects of Programming Languages

Katinka Wolter, Philipp Reinecke— 2010

TitelFormal Methods for Quantitative Aspects of Programming Languages
VerfasserKatinka Wolter, Philipp Reinecke
Verlag(A. Aldini, M. Bernardo, A. Di Pierro, H. Wiklicky Ed.), ser. LNCS, Vol. 6154, pp. 135--167, Springer, June 2010.
Datum201006
Quelle/n
ArtText
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} }