%0 Journal Article %1 journals/sttt/DragomirPT20 %A Dragomir, Iulia %A Preoteasa, Viorel %A Tripakis, Stavros %D 2020 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 6 %P 689-708 %T The Refinement Calculus of Reactive Systems Toolset. %U http://dblp.uni-trier.de/db/journals/sttt/sttt22.html#DragomirPT20 %V 22

@article{journals/sttt/DragomirPT20, added-at = {2023-09-30T00:00:00.000+0200}, author = {Dragomir, Iulia and Preoteasa, Viorel and Tripakis, Stavros}, biburl = {https://www.bibsonomy.org/bibtex/23d7eb8e12454280b98aefa55e51fd654/dblp}, ee = {https://doi.org/10.1007/s10009-020-00561-4}, interhash = {7547b8f186e7e96e10320a03abd94f0c}, intrahash = {3d7eb8e12454280b98aefa55e51fd654}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 6, pages = {689-708}, timestamp = {2024-04-08T20:36:22.000+0200}, title = {The Refinement Calculus of Reactive Systems Toolset.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt22.html#DragomirPT20}, volume = 22, year = 2020 }