Akhilesh Shrestha, Liudong Xing, Yuanshun Dai. MBDD versus MMDD for Multistate Systems Analysis. In Third IEEE International Symposium on Dependable, Autonomic and Secure Computing, DASC 2007, Columbia, MD, USA, September 25-26, 2007. pages 172-180, IEEE Computer Society, 2007. [doi]
Abstract is missing.