Measuring with Timed Patterns

Dejan Nickovic; Thomas Ferrère; Oded Maler; Dogan Ulus

Measuring with Timed Patterns

Dejan Nickovic (Vortragende:r)
, Thomas Ferrère
, Oded Maler
, Dogan Ulus

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Originalsprache	Englisch
Titel	Proceedings of the Computer Aided Verification - 27th International Conference, CAV,2015,San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Seiten	322-337
Seitenumfang	16
Publikationsstatus	Veröffentlicht - 2015
Veranstaltung	CAV 2015 - Dauer: 18 Juli 2015 → 24 Juli 2015

Konferenz

Konferenz	CAV 2015
Zeitraum	18/07/15 → 24/07/15

Research Field

Ehemaliges Research Field - Digital Safety and Security

Diese Publikation zitieren

@inproceedings{03d6bac6600c49a6b7eb9beda15b07c7,

title = "Measuring with Timed Patterns",

author = "Dejan Nickovic and Thomas Ferr{\`e}re and Oded Maler and Dogan Ulus",

year = "2015",

language = "English",

isbn = "978-3-319-21667-6",

pages = "322--337",

booktitle = "Proceedings of the Computer Aided Verification - 27th International Conference, CAV,2015,San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II",

note = "CAV 2015 ; Conference date: 18-07-2015 Through 24-07-2015",

}

Measuring with Timed Patterns. / Nickovic, Dejan (Vortragende:r); Ferrère, Thomas; Maler, Oded et al.
Proceedings of the Computer Aided Verification - 27th International Conference, CAV,2015,San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II. 2015. S. 322-337.

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

TY - GEN

T1 - Measuring with Timed Patterns

AU - Ferrère, Thomas

AU - Maler, Oded

AU - Ulus, Dogan

A2 - Nickovic, Dejan

PY - 2015

Y1 - 2015

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-319-21667-6

SP - 322

EP - 337

BT - Proceedings of the Computer Aided Verification - 27th International Conference, CAV,2015,San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

T2 - CAV 2015

Y2 - 18 July 2015 through 24 July 2015

ER -