F. Nielson, H. Nielson, and P. Vasilikos. Models, Algorithms, Logics and Tools, volume 10460 of Lecture Notes in Computer Science, page 3-21. Springer, (2017)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/birthday/NielsonNV17
%A Nielson, Flemming
%A Nielson, Hanne Riis
%A Vasilikos, Panagiotis
%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
%P 3-21
%T Information Flow for Timed Automata.
%U http://dblp.uni-trier.de/db/conf/birthday/larsen2017.html#NielsonNV17
%V 10460
%@ 978-3-319-63121-9
@inproceedings{conf/birthday/NielsonNV17,
added-at = {2023-12-13T01:40:28.000+0100},
author = {Nielson, Flemming and Nielson, Hanne Riis and Vasilikos, Panagiotis},
biburl = {https://www.bibsonomy.org/bibtex/2441074e9f5688f8b04949d6a647051c3/admin},
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://www.wikidata.org/entity/Q59416289},
interhash = {74cc42d0c81e7457f6255059757a5703},
intrahash = {441074e9f5688f8b04949d6a647051c3},
isbn = {978-3-319-63121-9},
keywords = {},
pages = {3-21},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T01:40:28.000+0100},
title = {Information Flow for Timed Automata.},
url = {http://dblp.uni-trier.de/db/conf/birthday/larsen2017.html#NielsonNV17},
volume = 10460,
year = 2017
}