Skip to main content

Lifting in Z

A. Martin and C. Fidge

Book Title
Proceedings of CATS'2001
Number
42
Series
Electronic Notes in Theoretical Computer Science
Year
2001