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 Mi 4. Okt 01:00:02 CEST 2017