Back to Search
Start Over
The application of program-proving techniques to the verification of synchronization processes.
- Source :
- AFIPS Joint Computer Conferences; Dec1972, p33-47, 15p
- Publication Year :
- 1972
Details
- Language :
- English
- Database :
- Complementary Index
- Journal :
- AFIPS Joint Computer Conferences
- Publication Type :
- Conference
- Accession number :
- 73605504
- Full Text :
- https://doi.org/10.1145/1479992.1479997