Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by E. Canver
Formal Development of Object-Based Systems in a Temporal Logic Setting