research article

The 2008 CAV Award citation

Bryant, R. E.
•
Grumberg, O.
•
Henzinger, T. A.
Show more
2009
Formal Methods in System Design
Loading...
Thumbnail Image
Name

10703_2009_Article_70.pdf

Type

Publisher's Version

Version

http://purl.org/coar/version/c_970fb48d4fbd8a85

Access type

openaccess

Size

114.81 KB

Format

Adobe PDF

Checksum (MD5)

397083ebc8723a582dfce29662415782