3 Einträge gefunden

1. The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata

   1. Mottet, Antoine
   2. Quaas, Karin

   2021 - TUHH Open Research
2. New techniques for universality in unambiguous register automata

   1. Czerwiński, Wojciech
   2. Mottet, Antoine
   3. Quaas, Karin

   2021 - TUHH Open Research
3. The containment problem for unambiguous register automata

   1. Mottet, Antoine
   2. Quaas, Karin

   2019 - TUHH Open Research