Document
Information Content Entity
RDF description of PROBABILISTIC MODEL CHECKING WITH MARKOV MODELS SEMANTICS: NEW DEVELOPMENTS AND APPLICATIONS - http://irises.unimi.it/resource/item/1165342
Generically Dependent Continuant
PROBABILISTIC MODEL CHECKING WITH MARKOV MODELS SEMANTICS: NEW DEVELOPMENTS AND APPLICATIONS
Thesis