%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 dblp %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 = {2019-06-02T00:00:00.000+0200}, author = {Nielson, Flemming and Nielson, Hanne Riis and Vasilikos, Panagiotis}, biburl = {https://www.bibsonomy.org/bibtex/2441074e9f5688f8b04949d6a647051c3/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://www.wikidata.org/entity/Q59416289}, interhash = {74cc42d0c81e7457f6255059757a5703}, intrahash = {441074e9f5688f8b04949d6a647051c3}, isbn = {978-3-319-63121-9}, keywords = {dblp}, pages = {3-21}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:16:31.000+0200}, title = {Information Flow for Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/birthday/larsen2017.html#NielsonNV17}, volume = 10460, year = 2017 }