Formalising a Hazard Warning Communication Protocol with Timed Automata.
E. Olderog, und M. Schwammberger. Models, Algorithms, Logics and Tools, Volume 10460 von Lecture Notes in Computer Science, Seite 640-660. Springer, (2017)
Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/birthday/OlderogS17
%A Olderog, Ernst-Rüdiger
%A Schwammberger, Maike
%B Models, Algorithms, Logics and Tools
%D 2017
%E Aceto, Luca
%E Bacci, Giorgio
%E Bacci, Giovanni
%E Ingólfsdóttir, Anna
%E Legay, Axel
%E Mardare, Radu
%I Springer
%K dblp
%P 640-660
%T Formalising a Hazard Warning Communication Protocol with Timed Automata.
%U http://dblp.uni-trier.de/db/conf/birthday/larsen2017.html#OlderogS17
%V 10460
%@ 978-3-319-63121-9
@inproceedings{conf/birthday/OlderogS17,
added-at = {2017-08-22T00:00:00.000+0200},
author = {Olderog, Ernst-Rüdiger and Schwammberger, Maike},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28dab9f31a8e2c74d696221a81d5114f1/dblp},
booktitle = {Models, Algorithms, Logics and Tools},
crossref = {conf/birthday/2017larsen},
editor = {Aceto, Luca and Bacci, Giorgio and Bacci, Giovanni and Ingólfsdóttir, Anna and Legay, Axel and Mardare, Radu},
ee = {https://doi.org/10.1007/978-3-319-63121-9_32},
interhash = {80cbbfb0389fda12901a2dd2216c1430},
intrahash = {8dab9f31a8e2c74d696221a81d5114f1},
isbn = {978-3-319-63121-9},
keywords = {dblp},
pages = {640-660},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-09-27T14:05:41.000+0200},
title = {Formalising a Hazard Warning Communication Protocol with Timed Automata.},
url = {http://dblp.uni-trier.de/db/conf/birthday/larsen2017.html#OlderogS17},
volume = 10460,
year = 2017
}