105
Voted
SOFSEM
2009
Springer
16 years 5 days ago
2009
Springer
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extensi...