Document
type: Class

259357857
type: Entity
type: BFO_0000020
type: Authorship
type: Relationship
type: Continuant
type: Thing
relates: DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems

Inglese
type: Language

Continuant
type: Class

DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems
type: Conference Paper
type: Entity
type: Document
type: Article
most specific type: Conference Paper
type: Thing
language: Inglese
type: Continuant
type: Generically Dependent Continuant
related by: 259357857
type: Information Content Entity

Entity
type: Class

Generically Dependent Continuant
type: Class

Article
type: Class

Information Content Entity
type: Class

Conference Paper
type: Class

RDF description of DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems - http://irises.uninsubria.it/resource/item/206710
rights: termsOfUse
date: 2026-08-25T19:42:04
publisher: DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems
type: Document