%0 Journal Article %1 journals/sttt/FiliotJR13 %A Filiot, Emmanuel %A Jin, Naiyong %A Raskin, Jean-François %D 2013 %J Int. J. Softw. Tools Technol. Transf. %K %N 5-6 %P 541-561 %T Exploiting structure in LTL synthesis. %U http://dblp.uni-trier.de/db/journals/sttt/sttt15.html#FiliotJR13 %V 15

@article{journals/sttt/FiliotJR13, added-at = {2023-12-14T14:47:36.000+0100}, author = {Filiot, Emmanuel and Jin, Naiyong and Raskin, Jean-François}, biburl = {https://www.bibsonomy.org/bibtex/20e76d78913d36badad7f07df6b78064c/admin}, ee = {https://doi.org/10.1007/s10009-012-0222-5}, interhash = {e353c4ad32bf317f4999ec03a9745762}, intrahash = {0e76d78913d36badad7f07df6b78064c}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {}, number = {5-6}, pages = {541-561}, timestamp = {2023-12-14T14:47:36.000+0100}, title = {Exploiting structure in LTL synthesis.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt15.html#FiliotJR13}, volume = 15, year = 2013 }