Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by G. Holzmann
V-Promela: A Visual, Object-Oriented Language for SPIN
