![](/img/cover-not-exists.png)
[IEEE Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design - Verona, Italy (11-14 July 2005)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. - Verification of parameterized hierarchical state machines using action language verifier
Yavuz-Kahveci, T., Bultan, T.Year:
2005
Language:
english
DOI:
10.1109/memcod.2005.1487897
File:
PDF, 304 KB
english, 2005