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