20102017
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Stefan Vijzelaar is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Mathematics

Model Checking
Automata
Logic
Kripke Models
Linear Temporal Logic
Proposition
Model
Counterexample
Concurrent
State Space
Abstraction
Specification

Engineering & Materials Science

Model checking
Temporal logic
Concretes
Specifications