Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams.

Min Wan, Gianfranco Ciardo

Browse the full SOFSEM paper archive.