%0 Journal Article %1 journals/toplas/AlurG04 %A Alur, Rajeev %A Grosu, Radu %D 2004 %J ACM Trans. Program. Lang. Syst. %K %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 = {2023-12-12T21:38:08.000+0100}, author = {Alur, Rajeev and Grosu, Radu}, biburl = {https://www.bibsonomy.org/bibtex/2495b57cc75c63fa8effbb4c8714ab6f2/admin}, ee = {https://doi.org/10.1145/973097.973101}, interhash = {4121f20f864fbc1fce935bd517b0eb2a}, intrahash = {495b57cc75c63fa8effbb4c8714ab6f2}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {}, number = 2, pages = {339-369}, timestamp = {2023-12-12T21:38:08.000+0100}, title = {Modular refinement of hierarchic reactive machines.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas26.html#AlurG04}, volume = 26, year = 2004 }