Research group Prof. Zitterbart - Institute of Telematics
Specification and Verification of Confidentiality in Component-Based Systems
Author: M. Kramer, A. Hergenröder, M. Hecker, S. Greiner, K. Bao links:
Source: Publication type unknown!2014