The first-order logic of signals: keynote

Thomas Henzinger; Alexey Bakhirkin; Thomas Ferrère; Dejan Nickovic

The first-order logic of signals: keynote

Thomas Henzinger (Speaker, Invited)
, Alexey Bakhirkin (Author, Invited)
, Thomas Ferrère (Author, Invited)
, Dejan Nickovic (Author, Invited)

Imagination Technologies

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 05, 2018
Pages	1-10
Number of pages	10
Publication status	Published - 2018
Event	EMSOFT 2018 - Duration: 30 Sept 2018 → 5 Oct 2018

Conference

Conference	EMSOFT 2018
Period	30/09/18 → 5/10/18

Research Field

Dependable Systems Engineering

Cite this

@inproceedings{f14397bdf2bf4feda4278428fa24cdd1,

title = "The first-order logic of signals: keynote",

author = "Thomas Henzinger and Alexey Bakhirkin and Thomas Ferr{\`e}re and Dejan Nickovic",

year = "2018",

language = "English",

isbn = "978-1-5386-5564-1",

pages = "1--10",

booktitle = "Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 05, 2018",

note = "EMSOFT 2018 ; Conference date: 30-09-2018 Through 05-10-2018",

}

The first-order logic of signals: keynote. / Henzinger, Thomas (Speaker, Invited); Bakhirkin, Alexey (Author, Invited); Ferrère, Thomas (Author, Invited) et al.
Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 05, 2018. 2018. p. 1-10.

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

TY - GEN

T1 - The first-order logic of signals: keynote

A2 - Henzinger, Thomas

A2 - Bakhirkin, Alexey

A2 - Ferrère, Thomas

A2 - Nickovic, Dejan

PY - 2018

Y1 - 2018

M3 - Conference Proceedings with Oral Presentation

SN - 978-1-5386-5564-1

SP - 1

EP - 10

BT - Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 05, 2018

T2 - EMSOFT 2018

Y2 - 30 September 2018 through 5 October 2018

ER -