Specification and Proof in Real−time CSP
| Autor principal: | |
|---|---|
| Formato: | Livro |
| Publicado em: |
Cambridge University Press
1993
|
| Autor principal: | |
|---|---|
| Formato: | Livro |
| Publicado em: |
Cambridge University Press
1993
|