Skip to main content

Compiling Statemate Statecharts into CSP and verifying them using FDR

A. W. Roscoe

Month
January
Note
Extended Abstract
Year
2003