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

Min Wan Gianfranco Ciardo Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams. 582-594 2009 SOFSEM http://dx.doi.org/10.1007/978-3-540-95891-8_52 conf/sofsem/2009 db/conf/sofsem/sofsem2009.html#WanC09