1 Einträge gefunden

1. State space reconstruction for on-line model checking with UPPAAL

   1. Rinast, Jonas
   2. Schupp, Sibylle
   3. Gollmann, Dieter

   2013 - TUHH Open Research