Springe direkt zu Inhalt

Formal Methods for Quantitative Aspects of Programming Languages

Titel
Formal Methods for Quantitative Aspects of Programming Languages
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} }