An Analysis Tool for Models of Virtualized Systems

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]

Abstract

Abstract is missing.