DMCA
MOCHA: Modularity in Model Checking (1998)
Cached
Download Links
by
Rajeev Alur
,
Thomas A. Henzinger
,
F.Y.C. Mang
,
S. Qadeer
,
S.K. Rajamani
,
S. Tasiran
| Citations: | 186 - 20 self |
BibTeX
@MISC{Alur98mocha:modularity,
author = {Rajeev Alur and Thomas A. Henzinger and F.Y.C. Mang and S. Qadeer and S.K. Rajamani and S. Tasiran},
title = {MOCHA: Modularity in Model Checking},
year = {1998}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
