Document
type: Class

5659130
type: Entity
type: BFO_0000020
type: Authorship
type: Relationship
type: Continuant
type: Thing
relates: An abstraction technique for testing decomposable systems by model checking

Continuant
type: Class

Entity
type: Class

Generically Dependent Continuant
type: Class

Article
type: Class

Inglese
type: Language

Information Content Entity
type: Class

RDF description of An abstraction technique for testing decomposable systems by model checking - http://irises.unibg.it/resource/item/37300
rights: termsOfUse
date: 2026-08-19T04:03:59
publisher: An abstraction technique for testing decomposable systems by model checking
type: Document

An abstraction technique for testing decomposable systems by model checking
most specific type: Conference Paper
language: Inglese
type: Conference Paper
related by: 5659130
type: Generically Dependent Continuant
type: Continuant
type: Document
type: Information Content Entity
type: Article
type: Entity
type: Thing

Conference Paper
type: Class