Analysis and verification of distributed systems
| Title | Analysis and verification of distributed systems |
| Publication Type | Thesis |
| Year of Publication | 2009 |
| Authors | Marinoiu, B |
| Date Published | june |
| University | Université Paris Sud |
| Thesis Type | phd |
- Log in to post comments
- Google Scholar
- BibTeX