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