- Tytuł:
- Correctness Notions for Petri Nets with Identifiers
- Autorzy:
-
van der Werf, Jan Martijn E. M.
Rivkin, Andrey
Montali, Marco
Polyvyanyy, Artem - Data publikacji:
- 2024
- Słowa kluczowe:
-
information System
verification
data correctness
resource correctness - Pokaż więcej
- Dostawca treści:
- BazTech