2 Einträge gefunden

1. Scalable offline monitoring of temporal specifications

   1. Basin, David
   2. Caronni, Germano
   3. Ereth, Sarah
   4. Harvan, Matúš
   5. Klaedtke, Felix Christopher
   6. Mantel, Heiko

   2016 - TUHH Open Research
2. Scalable offline monitoring

   1. Basin, David A.
   2. Caronni, Germano
   3. Ereth, Sarah
   4. Harvan, Matúš
   5. Klaedtke, Felix Christopher
   6. Mantel, Heiko

   2014 - TUHH Open Research