Document
type: Class

From Dynamic State Machines to Promela
type: Thing
type: Book Section
type: Chapter
type: Document
type: Continuant
type: Generically Dependent Continuant
type: document part
type: Entity
most specific type: Chapter
type: Information Content Entity

Information Content Entity
type: Class

Chapter
type: Class

RDF description of From Dynamic State Machines to Promela - http://irises.unirc.it/resource/item/28337
rights: termsOfUse
date: 2026-08-26T23:18:39
publisher: From Dynamic State Machines to Promela
type: Document

Continuant
type: Class

Entity
type: Class

Generically Dependent Continuant
type: Class

Book Section
type: Class

document part
type: Class
label: Document Part