Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito. An Analysis Tool for Models of Virtualized Systems. In 31th Norsk Informatikkonferanse, NIK 2018, Universitetet i Oslo, Oslo, Norway, September 18-20, 2018. Bibsys Open Journal Systems, Norway, 2018. [doi]
@inproceedings{JohnsenSST18-1,
title = {An Analysis Tool for Models of Virtualized Systems},
author = {Einar Broch Johnsen and Martin Steffen and Johanna Beate Stumpf and Lars Tveito},
year = {2018},
url = {https://ojs.bibsys.no/index.php/NIK/article/view/497},
researchr = {https://researchr.org/publication/JohnsenSST18-1},
cites = {0},
citedby = {0},
booktitle = {31th Norsk Informatikkonferanse, NIK 2018, Universitetet i Oslo, Oslo, Norway, September 18-20, 2018},
publisher = {Bibsys Open Journal Systems, Norway},
}