Allan van Hulst
Identifiers
- name variant Allan van Hulst 0.60 · backfill
Papers (1)
- Maximally Permissive Controlled System Synthesis for Modal Logic cs.FL · 2014 · author #1
Mentions
Frequent Coauthors
- Michel Reniers 1 shared papers
- Wan Fokkink 1 shared papers