%0 Journal Article %1 journals/toplas/AlurG04 %A Alur, Rajeev %A Grosu, Radu %D 2004 %J ACM Trans. Program. Lang. Syst. %K dblp %N 2 %P 339-369 %T Modular refinement of hierarchic reactive machines. %U http://dblp.uni-trier.de/db/journals/toplas/toplas26.html#AlurG04 %V 26

@article{journals/toplas/AlurG04, added-at = {2018-11-06T00:00:00.000+0100}, author = {Alur, Rajeev and Grosu, Radu}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2495b57cc75c63fa8effbb4c8714ab6f2/dblp}, ee = {https://doi.org/10.1145/973097.973101}, interhash = {4121f20f864fbc1fce935bd517b0eb2a}, intrahash = {495b57cc75c63fa8effbb4c8714ab6f2}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 2, pages = {339-369}, timestamp = {2019-09-27T11:50:45.000+0200}, title = {Modular refinement of hierarchic reactive machines.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas26.html#AlurG04}, volume = 26, year = 2004 }