A Proof Technique for Liveness Properties of Multifunction Composite Protocols.

Jun-Cheol Park Raymond E. Miller

Published in: ICNP (1998)

Keyphrases

neural network
digital libraries
structural properties
computer vision
information systems
multiscale
theorem prover
topological properties
imperative programs