Document
type: Class

Continuant
type: Class

Entity
type: Class

Generically Dependent Continuant
type: Class

85011962
type: Entity
type: BFO_0000020
type: Authorship
type: Relationship
type: Continuant
type: Thing
relates: Integrating topological proofs with model checking to instrument iterative design

Article
type: Class

Inglese
type: Language

Integrating topological proofs with model checking to instrument iterative design
related by: 85011962
type: Entity
type: Information Content Entity
most specific type: Conference Paper
type: Document
type: Generically Dependent Continuant
language: Inglese
type: Conference Paper
type: Article
type: Continuant
type: Thing

Information Content Entity
type: Class

RDF description of Integrating topological proofs with model checking to instrument iterative design - http://irises.unibg.it/resource/item/265397
rights: termsOfUse
date: 2026-08-11T18:22:13
publisher: Integrating topological proofs with model checking to instrument iterative design
type: Document

Conference Paper
type: Class