Specifying and Verifying Systems with Multiple Clocks
Edmund Clarke‚ Daniel Kroening and Karen Yorav
Details
| Book Title |
Proc. of the 2003 International Conference on Computer Design (ICCD) |
| Month |
October |
| Pages |
48–55 |
| Publisher |
IEEE |
| Year |
2003 |
Links
Related pages
|
People |
|
|
Activities |
|
|
Themes |