Quantitative Modellierung und Analyse mit FMC-QE

Stephan Kluth, Tomasz Porzucek, Flavius Copaciu, Werner Zorn. Quantitative Modellierung und Analyse mit FMC-QE. Praxis der Informationsverarbeitung und Kommunikation, 31(4):218-224, 2008. [doi]

Abstract

Abstract is missing.