Header
Main Navigation
Content
Footer
Contact
LOGIN
Accessibility
German
Hints for search in the research portal
HU internal usage information
List of projects
>
EU: Methods and Tools for Verification and Analysis of Distributed Systems
Home
Projects
Publications
Persons
Organisations
EU: Methods and Tools for Verification and Analysis of Distributed Systems
Principal investigators
Fischer
,
Joachim
Prof. Dr. sc. nat.
(Details)
(
System Analysis
)
Financer
INTAS / Brüssel
Duration of project
Start date
:
01/1997
End date
:
12/1998
Last updated on 2022-08-09 at 15:08