Amanote Research
Register
Sign In
V-Promela: A Visual, Object-Oriented Language for SPIN
doi 10.1109/isorc.1999.776345
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
S. Leue
G. Holzmann
Publisher
IEEE Comput. Soc
