%0 Conference Paper %1 conf/ifm/SaeedloeiK20 %A Saeedloei, Neda %A Kluzniak, Feliks %B IFM %D 2020 %E Dongol, Brijesh %E Troubitsyna, Elena %I Springer %K dblp %P 276-294 %T Synthesizing Clock-Efficient Timed Automata. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2020.html#SaeedloeiK20 %V 12546 %@ 978-3-030-63461-2

@inproceedings{conf/ifm/SaeedloeiK20, added-at = {2020-11-17T00:00:00.000+0100}, author = {Saeedloei, Neda and Kluzniak, Feliks}, biburl = {https://www.bibsonomy.org/bibtex/258a82fcc58f577bc0f961dd494f02760/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2020}, editor = {Dongol, Brijesh and Troubitsyna, Elena}, ee = {https://doi.org/10.1007/978-3-030-63461-2_15}, interhash = {ef47b41f29f3ba727b8c0a40fa00d0ec}, intrahash = {58a82fcc58f577bc0f961dd494f02760}, isbn = {978-3-030-63461-2}, keywords = {dblp}, pages = {276-294}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-19T11:37:16.000+0100}, title = {Synthesizing Clock-Efficient Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2020.html#SaeedloeiK20}, volume = 12546, year = 2020 }