Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

Mardare, Radu (Project Participant)

Department of Computer Science

1 results
- Title
- Date(descending)

Eliteforsker gør indviklede systemer lettere at gennemskue
Radu Iulian Mardare
26/01/2011
1 item of Media coverage
Press/Media: Press / Media