%0 Conference Paper %1 conf/formats/LorberRNA15 %A Lorber, Florian %A Rosenmann, Amnon %A Nickovic, Dejan %A Aichernig, Bernhard K. %B FORMATS %D 2015 %E Sankaranarayanan, Sriram %E Vicario, Enrico %I Springer %K dblp %P 288-304 %T Bounded Determinization of Timed Automata with Silent Transitions. %U http://dblp.uni-trier.de/db/conf/formats/formats2015.html#LorberRNA15 %V 9268 %@ 978-3-319-22974-4

@inproceedings{conf/formats/LorberRNA15, added-at = {2019-10-19T00:00:00.000+0200}, author = {Lorber, Florian and Rosenmann, Amnon and Nickovic, Dejan and Aichernig, Bernhard K.}, biburl = {https://www.bibsonomy.org/bibtex/2f8a0e375f021463fb91358b14fe4b042/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2015}, editor = {Sankaranarayanan, Sriram and Vicario, Enrico}, ee = {https://doi.org/10.1007/978-3-319-22975-1_19}, interhash = {f60b7ad8cedb2c6dc12b4b9a9b66dc8c}, intrahash = {f8a0e375f021463fb91358b14fe4b042}, isbn = {978-3-319-22974-4}, keywords = {dblp}, pages = {288-304}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T14:16:59.000+0200}, title = {Bounded Determinization of Timed Automata with Silent Transitions.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2015.html#LorberRNA15}, volume = 9268, year = 2015 }