Symmetry and induction in model checking (1995)
by
Edmund M. Clarke
,
Stephen Brookes
| Venue: | In Computer Science Today: Recent Trends and Developments |
| Citations: | 4 - 1 self |
BibTeX
@INPROCEEDINGS{Clarke95symmetryand,
author = {Edmund M. Clarke and Stephen Brookes},
title = {Symmetry and induction in model checking},
booktitle = {In Computer Science Today: Recent Trends and Developments},
year = {1995},
pages = {455--470},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
