Specifying and proving serializabilty in temporal logic
- Doron Peled
- , Shmuel Katz
- , Amir Pnueli
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
16
Scopus
citations