![](/img/cover-not-exists.png)
[IEEE 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C) - Singapore, Singapore (2010.06.9-2010.06.11)] 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion - Using Multi Decision Diagram in Model Checking
Khanh, Nguyen Truong, Tho, Quan ThanhYear:
2010
Language:
english
DOI:
10.1109/ssiri-c.2010.31
File:
PDF, 140 KB
english, 2010