%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 dblp %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 = {2017-05-19T00:00:00.000+0200}, author = {Caltais, Georgiana and Leitner-Fischer, Florian and Leue, Stefan and Weiser, Jannis}, biburl = {https://www.bibsonomy.org/bibtex/22e14d90bfc0911f408b893a2e2cabf50/dblp}, 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 = {dblp}, pages = {31-45}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:04:31.000+0200}, 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 }