%0 Conference Paper %1 conf/icse/HagiharaUTSY16 %A Hagihara, Shigeki %A Ueno, Atsushi %A Tomita, Takashi %A Shimakawa, Masaya %A Yonezaki, Naoki %B FormaliSE@ICSE %D 2016 %I ACM %K dblp %P 15-21 %T Simple synthesis of reactive systems with tolerance for unexpected environmental behavior. %U http://dblp.uni-trier.de/db/conf/icse/formalise2016.html#HagiharaUTSY16 %@ 978-1-4503-4159-2

@inproceedings{conf/icse/HagiharaUTSY16, added-at = {2023-03-23T00:00:00.000+0100}, author = {Hagihara, Shigeki and Ueno, Atsushi and Tomita, Takashi and Shimakawa, Masaya and Yonezaki, Naoki}, biburl = {https://www.bibsonomy.org/bibtex/2787b1d14186bb348e5f4b4f89ca8fefd/dblp}, booktitle = {FormaliSE@ICSE}, crossref = {conf/icse/2016formalise}, ee = {https://doi.ieeecomputersociety.org/10.1109/FormaliSE.2016.011}, interhash = {21320175eaabc2781fb9800eefe9dd37}, intrahash = {787b1d14186bb348e5f4b4f89ca8fefd}, isbn = {978-1-4503-4159-2}, keywords = {dblp}, pages = {15-21}, publisher = {ACM}, timestamp = {2024-04-10T07:30:07.000+0200}, title = {Simple synthesis of reactive systems with tolerance for unexpected environmental behavior.}, url = {http://dblp.uni-trier.de/db/conf/icse/formalise2016.html#HagiharaUTSY16}, year = 2016 }