@inproceedings{BFH+8,
title = { {The First-Order Logic of Signals} },
author = {Bakhirkin, Alexey and Ferr\'ere, Thomas and Henzinger, Thomas A. and Nickovic, Dejan},
month = {Sep},
year = {2018},
booktitle = {{International Conference on Embedded Software (EMSOFT)}},
address = {Torino, Italy},
team = {PACSS},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32649556
|
|
|