Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

  • Mardare, Radu (Project Participant)
Filter
Journal article

Search results