1 Einträge gefunden

1. Light-weight hybrid model checking facilitating online prediction of temporal properties

   1. Sauter, Gerald
   2. Dierks, Henning
   3. Fränzle, Martin
   4. Hansen, Michael R.

   2009 - ReposIt