A cut-off approach for bounded verification of parameterized systems.
Saved in:
| Title: | A cut-off approach for bounded verification of parameterized systems. |
|---|---|
| Authors: | Yang, Qiusong, Li, Mingshu |
| Source: | ICSE: International Conference on Software Engineering; May2010, p345-354, 10p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| DOI: | 10.1145/1806799.1806851 |
|---|
