On Temporal Logic and Signal Processing

Alexandre Donze (Vortragende:r), Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka

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

Originalsprache	Englisch
Titel	Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012
Seiten	92-106
Seitenumfang	15
Publikationsstatus	Veröffentlicht - 2012
Veranstaltung	ATVA 2012 - Dauer: 3 Okt. 2012 → 6 Okt. 2012

Konferenz	ATVA 2012
Zeitraum	3/10/12 → 6/10/12

Research Field

@inproceedings{a14349d5181a4bfcb33a7a503cf0aefd,

title = "On Temporal Logic and Signal Processing",

author = "Alexandre Donze and Oded Maler and Ezio Bartocci and Dejan Nickovic and Radu Grosu and Smolka, {Scott A.}",

year = "2012",

language = "English",

isbn = "978-3-642-33385-9",

pages = "92--106",

booktitle = "Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012",

note = "ATVA 2012 ; Conference date: 03-10-2012 Through 06-10-2012",

}

TY - GEN

T1 - On Temporal Logic and Signal Processing

AU - Maler, Oded

AU - Bartocci, Ezio

AU - Nickovic, Dejan

AU - Grosu, Radu

AU - Smolka, Scott A.

A2 - Donze, Alexandre

PY - 2012

Y1 - 2012

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-642-33385-9

SP - 92

EP - 106

BT - Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012

T2 - ATVA 2012

Y2 - 3 October 2012 through 6 October 2012

ER -