Lifting in Z
A. Martin and C. Fidge
Details
| Book Title |
Proceedings of CATS'2001 |
| Number |
42 |
| Series |
Electronic Notes in Theoretical Computer Science |
| Year |
2001 |
Links
Related pages
|
People |