|
[McM99]
K. McMillan.
Verification of infinite state systems by compositional model checking.
In L. Pierre and T. Kropf (editors), Proc. CHARME'99, volume 1703 of LNCS, Springer.
1999.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|