Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mark Vigder
Applying Formal Techniques to the Design of Concurrent Systems.
