Expertise
Engineering & Materials Science
# Binary Decision Diagrams
# Evolutionary Algorithms
# Fault Tree Analysis
# Model Checking
# Sampling
# Scalability
# Stabilization
Mathematics
# Self-Stabilization
Contact Details
Visiting Address
University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands
Mailing Address
University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands