Project Details
Person
Professor Dr. Michael Huth
Address
Technische Universität Nürnberg
Strategy and Structure Unit
Ulmenstraße 52i
90443 Nürnberg
-
As Host
-
Completed projects
-
Model checking of infinite-state, branching-time systems and specifications (Research Fellowships)
-
-
Completed projects
