Search
An automatic proving approach to parameterized verification
Li Y., Duan K., Jansen D., Pang J., Zhang L., Lv Y., Cai S. ACM Transactions on Computational Logic19(4):1-25,2018.Type:Article
To:
Your Colleague's E-mail:
From:
Your E-mail:
Subject:
Reviews: An automatic proving approach to parameterized verification
Message Body:
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy