Report - Multi-Valued Symbolic Model-Checkingchechik/pubs/tosem04.pdf · ACM Transactions on Software Engineering and Methodology, Vol. 12, No. 4, October 2004. P1: IAZ CM203A-01 ACM-TRANSACTION

Please pass captcha verification before submit form