- Tytuł:
- Minimizing the Number of Successor States in the Stubborn Set Method
- Autorzy:
- Varpaaniemi, K.
- Data publikacji:
- 2002
- Słowa kluczowe:
-
Labelled Transition Systems (LTS)
CFFD-equivalence
CSP-equivalence
stubborn sets
and/or-graphs - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł