English
type: Language

Document
type: Class

Information Content Entity
type: Class

Continuant
type: Class

Entity
type: Class

RDF description of PROBABILISTIC MODEL CHECKING WITH MARKOV MODELS SEMANTICS: NEW DEVELOPMENTS AND APPLICATIONS - http://irises.unimi.it/resource/item/1165342
rights: termsOfUse
date: 2026-08-03T22:41:19
publisher: PROBABILISTIC MODEL CHECKING WITH MARKOV MODELS SEMANTICS: NEW DEVELOPMENTS AND APPLICATIONS
type: Document

Generically Dependent Continuant
type: Class

PROBABILISTIC MODEL CHECKING WITH MARKOV MODELS SEMANTICS: NEW DEVELOPMENTS AND APPLICATIONS
type: Information Content Entity
type: Entity
type: Continuant
type: Thing
most specific type: Thesis
type: Generically Dependent Continuant
type: Document
language: English
type: Thesis

Thesis
type: Class