Conference item icon

Conference item

Symbolic model checking for asynchronous Boolean programs

Actions


Authors


Byron Cook More by this author
Daniel Kroening More by this author
Natasha Sharygina More by this author
Publisher:
Springer
Publication date:
2005
URN:
uuid:d5f49593-b54f-4655-a4f8-ad8f91a21656
Local pid:
cs:726

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP