Specification composition for the verification of message passing program composition release_5cc63j76bfdpfc7n37qkxro3sq

by J.Y. Cotronis, Z. Tsiatsoulis

Published in Microprocessors and microsystems by Elsevier BV.

1998   Volume 21, Issue 10, p595-603

Archived Files and Locations

application/pdf  96.3 kB
file_bhfaputlj5gjvialukkhryq3uu
web.archive.org (webarchive)
web.archive.org (webarchive)
cgi.di.uoa.gr (web)
application/pdf  86.6 kB
file_cjv6acdq5vdhddg3gbhjxpazqu
web.archive.org (webarchive)
web.archive.org (webarchive)
cgi.di.uoa.gr (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   1998
Language   en ?
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0141-9331
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 28856ec5-93d7-4ce7-a613-033094f5c49f
API URL: JSON