| Original language | English |
|---|---|
| DOIs | |
| Publication status | Published - 2014 |
| Externally published | Yes |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Using lightweight theorem proving in an asynchronous systems context
- M. Danish
- , H. Xi
- Boston University
Research output: Book/Report › Book › Academic