EU: Methods and Tools for Verification and Analysis of Distributed Systems


Principal Investigators
Fischer, Joachim Prof. Dr. sc. nat. (Details) (System Analysis)

Duration of Project
Start date: 01/1997
End date: 12/1998

Last updated on 2020-17-03 at 23:22