OPEN/CÆSAR: An open software architecture for verification, simulation, and testing release_xk3xknnglvgb5gtd5cuj5zedfu

by Hubert Garavel

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

1998   p68-84

Archived Files and Locations

application/pdf  669.5 kB
file_ezgxz7a3lfgyjnxktyupmlh25a
hal.inria.fr (repository)
web.archive.org (webarchive)
application/pdf  511.5 kB
file_u5x6duye4veunkzbbjwnriz2ry
hal.inria.fr (repository)
web.archive.org (webarchive)
application/pdf  1.1 MB
file_otosduulmrakrdtbgnj2sns2oq
web.archive.org (webarchive)
link.springer.com (publisher)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   1998
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: e87368b0-1dbc-41b4-9e0b-02a4fb36436e
API URL: JSON