%0 Conference Paper %1 conf/synasc/Condurache18 %A Condurache, Rodica %B SYNASC %D 2018 %I IEEE %K dblp %P 125-129 %T Experimental Evaluation of Acacia-K: A Tool for Synthesis of Reactive Systems from KLTL+ Specifications. %U http://dblp.uni-trier.de/db/conf/synasc/synasc2018.html#Condurache18 %@ 978-1-7281-0625-0

@inproceedings{conf/synasc/Condurache18, added-at = {2019-07-04T00:00:00.000+0200}, author = {Condurache, Rodica}, biburl = {https://www.bibsonomy.org/bibtex/2bff6e48edcee7ebe842ede6fba86be41/dblp}, booktitle = {SYNASC}, crossref = {conf/synasc/2018}, ee = {https://doi.org/10.1109/SYNASC.2018.00031}, interhash = {995485a74c4deb4211347b69bf3e4033}, intrahash = {bff6e48edcee7ebe842ede6fba86be41}, isbn = {978-1-7281-0625-0}, keywords = {dblp}, pages = {125-129}, publisher = {IEEE}, timestamp = {2019-07-05T11:39:32.000+0200}, title = {Experimental Evaluation of Acacia-K: A Tool for Synthesis of Reactive Systems from KLTL+ Specifications.}, url = {http://dblp.uni-trier.de/db/conf/synasc/synasc2018.html#Condurache18}, year = 2018 }