%0 Conference Paper %1 conf/cyphy/CaltaisLLW16 %A Caltais, Georgiana %A Leitner-Fischer, Florian %A Leue, Stefan %A Weiser, Jannis %B CyPhy %D 2016 %E Berger, Christian %E Mousavi, Mohammad Reza %E Wisniewski, Rafael %I Springer %K %P 31-45 %T SysML to NuSMV Model Transformation via Object-Orientation. %U http://dblp.uni-trier.de/db/conf/cyphy/cyphy2016.html#CaltaisLLW16 %V 10107 %@ 978-3-319-51737-7

@inproceedings{conf/cyphy/CaltaisLLW16, added-at = {2023-12-12T21:14:04.000+0100}, author = {Caltais, Georgiana and Leitner-Fischer, Florian and Leue, Stefan and Weiser, Jannis}, biburl = {https://www.bibsonomy.org/bibtex/22e14d90bfc0911f408b893a2e2cabf50/admin}, booktitle = {CyPhy}, crossref = {conf/cyphy/2016}, editor = {Berger, Christian and Mousavi, Mohammad Reza and Wisniewski, Rafael}, ee = {https://doi.org/10.1007/978-3-319-51738-4_3}, interhash = {3b1bdc4b43a1dac3ceddfa6b1701e147}, intrahash = {2e14d90bfc0911f408b893a2e2cabf50}, isbn = {978-3-319-51737-7}, keywords = {}, pages = {31-45}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:14:04.000+0100}, title = {SysML to NuSMV Model Transformation via Object-Orientation.}, url = {http://dblp.uni-trier.de/db/conf/cyphy/cyphy2016.html#CaltaisLLW16}, volume = 10107, year = 2016 }