Login / Signup
A Mechanically Checked Proof of a Multiprocessor Result via a Uniprocessor View.
J Strother Moore
Published in:
Formal Methods Syst. Des. (1999)
Keyphrases
</>
theorem prover
real time
multiscale
database
genetic algorithm
decision trees
search algorithm
information technology
formal proof