Abstract

Katinka Wolter, Philipp Reinecke,
Formal Methods for Quantitative Aspects of Programming Languages,
(A. Aldini, M. Bernardo, A. Di Pierro, H. Wiklicky Ed.), ser. LNCS, Vol. 6154, pp. 135--167, Springer, June 2010.
[BibTeX][Details]

 


This page generated by bibTOhtml on Di 19. Sep 01:00:02 CEST 2017