Amanote Research
Register
Sign In
Tools and Techniques for Model Checking Networked Programs
doi 10.1109/snpd.2008.36
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2008
Authors
Cyrille Artho
Watcharin Leungwattanakit
Masami Hagiya
Yoshinori Tanabe
Publisher
IEEE