Adequate proof properties for invariance and liveness properties of concurrent programs

Bibliographic Details
Main Author: Manna, Zohar (Author)
Other Involved Persons: Pnueli, Amir
Format: Book
Language:English
Published: Stanford, Calif. : Dep. of Computer Science, Univ. 1984
Series:Stanford University. Report 1005
Physical Description:31 S., [2] Bl. graph. Darst.
QR Code: Show QR Code