Article
type: Class

Document
type: Class

Reachability results for timed automata with unbounded data structures
type: Academic Article
type: Article
type: Thing
type: Document
type: Entity
type: Continuant
most specific type: Academic Article
type: Generically Dependent Continuant
type: Information Content Entity
related by: 803452

Information Content Entity
type: Class

Academic Article
type: Class

803452
type: Entity
type: BFO_0000020
type: Authorship
type: Relationship
type: Continuant
type: Thing
relates: Reachability results for timed automata with unbounded data structures

Continuant
type: Class

Entity
type: Class

Generically Dependent Continuant
type: Class

RDF description of Reachability results for timed automata with unbounded data structures - http://irises.uninsubria.it/resource/item/21902
rights: termsOfUse
date: 2026-08-27T04:33:27
publisher: Reachability results for timed automata with unbounded data structures
type: Document