Project Details
Person
Dr. Michael Huth
Address
Imperial College London
Flowers Building
London SW7 2AZ
Großbritannien
-
As Host
-
Completed projects
-
Model checking of infinite-state, branching-time systems and specifications (Research Fellowships)
-
-
Completed projects
