An Introduction to the Verification of Hybrid Systems Using Ariadne

Original language	English
Title of host publication	Coordination Control of Distributed Systems
Pages	339-346
Number of pages	8
Volume	75
Publication status	Published - 2015

Cite this

• APA
• Author
• BIBTEX
• Harvard
• Standard
• RIS
• Vancouver

Bresolin, D., Geretti, L., Villa, T., & Collins, P. (2015). An Introduction to the Verification of Hybrid Systems Using Ariadne. In Coordination Control of Distributed Systems (Vol. 75, pp. 339-346)

Bresolin, Davide ; Geretti, Luca ; Villa, Tiziano ; Collins, Pieter. / An Introduction to the Verification of Hybrid Systems Using Ariadne. Coordination Control of Distributed Systems. Vol. 75 2015. pp. 339-346

@inbook{e5cfde7805874874bfd1e145292d3153,

title = "An Introduction to the Verification of Hybrid Systems Using Ariadne",

author = "Davide Bresolin and Luca Geretti and Tiziano Villa and Pieter Collins",

year = "2015",

language = "English",

volume = "75",

pages = "339--346",

booktitle = "Coordination Control of Distributed Systems",

}

Bresolin, D, Geretti, L, Villa, T & Collins, P 2015, An Introduction to the Verification of Hybrid Systems Using Ariadne. in Coordination Control of Distributed Systems. vol. 75, pp. 339-346.

An Introduction to the Verification of Hybrid Systems Using Ariadne. / Bresolin, Davide; Geretti, Luca; Villa, Tiziano; Collins, Pieter.

Coordination Control of Distributed Systems. Vol. 75 2015. p. 339-346.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

TY - CHAP

T1 - An Introduction to the Verification of Hybrid Systems Using Ariadne

AU - Bresolin, Davide

AU - Geretti, Luca

AU - Villa, Tiziano

AU - Collins, Pieter

PY - 2015

Y1 - 2015

M3 - Chapter

VL - 75

SP - 339

EP - 346

BT - Coordination Control of Distributed Systems

ER -

Bresolin D, Geretti L, Villa T, Collins P. An Introduction to the Verification of Hybrid Systems Using Ariadne. In Coordination Control of Distributed Systems. Vol. 75. 2015. p. 339-346