Amanote Research
Register
Sign In
Model Checking Implicit-Invocation Systems
doi 10.1109/iwssd.2000.891123
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
D. Garlan
S. Khersonsky
Publisher
IEEE Comput. Soc
