|
[McM98]
K. McMillan.
Verfication of an implementation of Tomasulo's algorithm by compositional model checking.
In A. Hu and M. Vardi (editors), Proc. 10th International Conference on Computer Aided Verification (CAV'98), volume 1427 of LNCS, pages 110-121, Springer.
1998.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|