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]

Authors

Einar Broch Johnsen

This author has not been identified. Look up 'Einar Broch Johnsen' in Google

Martin Steffen

This author has not been identified. Look up 'Martin Steffen' in Google

Johanna Beate Stumpf

This author has not been identified. Look up 'Johanna Beate Stumpf' in Google

Lars Tveito

This author has not been identified. Look up 'Lars Tveito' in Google