[ Back ]

Title

Büchi automata

Author Michelle STELLA
Director of thesis Ulrich Ultes-Nitsche
Co-director of thesis
Summary of thesis
Status
Administrative delay for the defence
URL
LinkedIn
Facebook
Twitter
Xing