The following pages link to (Q4946958):
Displayed 6 items.
- Dynamically consistent reduction of logical regulatory graphs (Q533364) (← links)
- Petri net representation of multi-valued logical regulatory graphs (Q553914) (← links)
- Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications (Q600975) (← links)
- Exploiting interleaving semantics in symbolic state-space generation (Q2642670) (← links)
- Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams (Q3599106) (← links)
- Symbolic Reachability Analysis of Integer Timed Petri Nets (Q3599107) (← links)