Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

  • Mardare, Radu (Projektdeltager)

Søgeresultater