Expertise
Engineering & Materials Science
# Binary Decision Diagrams
# Evolutionary Algorithms
# Fault Tree Analysis
# Model Checking
# Sampling
# Scalability
# Stabilization
Mathematics
# Self-Stabilization
Organisations
Contact Details
Visiting Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(building no. 11), room 3110
Hallenweg 19
7522NH Enschede
The Netherlands
Mailing Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3110
P.O. Box 217
7500 AE Enschede
The Netherlands