2 Einträge gefunden

1. Model Checking Reconfigurable Petri Nets with Maude

   1. Padberg, Julia
   2. Schulz, Alexander

   2016 - ReposIt
2. Towards Model Checking Reconfigurable Petri Nets using Maude

   1. Padberg, Julia
   2. Schulz, Alexander

   2014 - ReposIt