Factorising Proofs in Timed CSP
J. Davies and S. Schneider
Details
| Book Title |
Real−Time Systems: Theory and Practice |
| Publisher |
North−Holland |
| Year |
1989 |
Links
Related pages
|
People |