%0 Journal Article %1 journals/sosym/HoomanKOVY08 %A Hooman, Jozef %A Kugler, Hillel %A Ober, Iulian %A Votintseva, Anjelika %A Yushtein, Yuri %D 2008 %J Softw. Syst. Model. %K dblp %N 2 %P 131-155 %T Supporting UML-based development of embedded systems by formal techniques. %U http://dblp.uni-trier.de/db/journals/sosym/sosym7.html#HoomanKOVY08 %V 7

@article{journals/sosym/HoomanKOVY08, added-at = {2020-09-18T00:00:00.000+0200}, author = {Hooman, Jozef and Kugler, Hillel and Ober, Iulian and Votintseva, Anjelika and Yushtein, Yuri}, biburl = {https://www.bibsonomy.org/bibtex/2d314fe665d3012e5702ac7ca79c07d58/dblp}, ee = {https://doi.org/10.1007/s10270-006-0043-7}, interhash = {6f8deb8a531547cd51cc00b027c05eca}, intrahash = {d314fe665d3012e5702ac7ca79c07d58}, journal = {Softw. Syst. Model.}, keywords = {dblp}, number = 2, pages = {131-155}, timestamp = {2020-09-19T11:40:56.000+0200}, title = {Supporting UML-based development of embedded systems by formal techniques.}, url = {http://dblp.uni-trier.de/db/journals/sosym/sosym7.html#HoomanKOVY08}, volume = 7, year = 2008 }