• Verification of Sequential and...

Treffer: Verification of Sequential and Concurrent Programs

Title:
Verification of Sequential and Concurrent Programs
Authors:
Apt, K.R., Olderog, E.R.
Source:
Apt , K R & Olderog , E R 1997 , Verification of Sequential and Concurrent Programs . New York .
Publication Year:
1997
Collection:
Universiteit van Amsterdam: Digital Academic Repository (UvA DARE)
Document Type:
Buch book
Language:
unknown
Relation:
https://dare.uva.nl/personal/pure/en/publications/verification-of-sequential-and-concurrent-programs(7b99469a-5556-4eee-8bf8-f1f09d92c430).html
Availability:
https://dare.uva.nl/personal/pure/en/publications/verification-of-sequential-and-concurrent-programs(7b99469a-5556-4eee-8bf8-f1f09d92c430).html
Rights:
info:eu-repo/semantics/restrictedAccess
Accession Number:
edsbas.654F3024
Database:
BASE