Searching for "Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines
- …-23 Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines Christoph…
- Add To MetaCart
-
Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines
- …Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines…
- Cited by 19 (9 self) – Add To MetaCart
Showing 1 through 2.
