[Back]

@techreport{TUW-112532,
    author = {S{\"u}nder, Christoph Karl},
    title = {eCEDAC Evolution Control Environment for Distributed Automation Components - KAPPA Calculus and Verification Task 3.2/4.3 Version 2.0},
    institution = {E376 - Institute of Automation and Control; Vienna University of Technology},
    year = {2007}
}