[Zurück]

@techreport{TUW-112528,
    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 1.2},
    institution = {E376 - Institut f{\"u}r Automatisierungs- und Regelungstechnik; Technische Universit{\"a}t Wien},
    year = {2007}
}