|
[MQS00]
K. McMillan, S. Qadeer and J. Saxe.
Induction and compositional model checking.
In E. Emerson and A. Sistla (editors), Proc. CAV 2000, volume 1855 of LNCS, pages 312-327, Springer.
2000.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|