%0 Journal Article %1 journals/tosem/DIppolitoBPU13 %A D'Ippolito, Nicolás %A Braberman, Víctor A. %A Piterman, Nir %A Uchitel, Sebastián %D 2013 %J ACM Trans. Softw. Eng. Methodol. %K %N 1 %P 9:1-9:36 %T Synthesizing nonanomalous event-based controllers for liveness goals. %U http://dblp.uni-trier.de/db/journals/tosem/tosem22.html#DIppolitoBPU13 %V 22

@article{journals/tosem/DIppolitoBPU13, added-at = {2023-12-13T07:03:48.000+0100}, author = {D'Ippolito, Nicolás and Braberman, Víctor A. and Piterman, Nir and Uchitel, Sebastián}, biburl = {https://www.bibsonomy.org/bibtex/2daa666ca897c81c6c118cfaca2cf13f5/admin}, ee = {https://doi.org/10.1145/2430536.2430543}, interhash = {b4c633564af51d441a1f17c697bf6e63}, intrahash = {daa666ca897c81c6c118cfaca2cf13f5}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {}, number = 1, pages = {9:1-9:36}, timestamp = {2023-12-13T07:03:48.000+0100}, title = {Synthesizing nonanomalous event-based controllers for liveness goals.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem22.html#DIppolitoBPU13}, volume = 22, year = 2013 }