Document
type: Class

The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
type: Generically Dependent Continuant
related by: 177361044
most specific type: Conference Paper
type: Document
type: Conference Paper
type: Information Content Entity
type: Article
language: Inglese
type: Continuant
type: Entity
type: Thing

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 The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems - http://irises.unibg.it/resource/item/357323
rights: termsOfUse
date: 2026-08-11T18:29:50
publisher: The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
type: Document

177361044
type: Entity
type: BFO_0000020
type: Authorship
type: Relationship
type: Continuant
type: Thing
relates: The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems

Conference Paper
type: Class