1 Einträge gefunden

1. Efficient model-checking for real-time task networks

   1. Dierks, Henning
   2. Metzner, Alexander
   3. Stierand, Ingo

   2009 - ReposIt