Compiling Statemate Statecharts into CSP and verifying them using FDR
A. W. Roscoe
Details
| Month |
January |
| Note |
Extended Abstract |
| Year |
2003 |
Links
Related pages
|
People |
|
|
Activities |