Published September 29, 2004
| Version v1
Journal article
Open
Formal Specification and Verification of Complex Systems1 1Work partially founded by Miur projectSP4.
Authors/Creators
Description
n/a
Files
fulltext.pdf
Files
(160.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:f8d58a734c67cc61cbe300d391c8639a
|
160.3 kB | Preview Download |