Lucia Cloth

Model checking algorithms for Markov reward models.
. University of Twente, Enschede, Netherlands, (2006)base-search.net (ftunivtwente:oai:doc.utwente.nl:55445).
  •  :
  •  :
далее