Article
type: Class

Document
type: Class

Scientific Theories of Computational Systems in Model Checking
type: Information Content Entity
type: Generically Dependent Continuant
type: Entity
type: Thing
language: Inglese
type: Document
type: Continuant
type: Article
type: Academic Article
most specific type: Academic Article

RDF description of Scientific Theories of Computational Systems in Model Checking - http://irises.uniss.it/resource/item/50402
rights: termsOfUse
date: 2026-08-25T22:49:54
publisher: Scientific Theories of Computational Systems in Model Checking
type: Document

Information Content Entity
type: Class

Academic Article
type: Class

Continuant
type: Class

Entity
type: Class

Inglese
type: Language

Generically Dependent Continuant
type: Class