Formal methods in system design container_fyhr5xuigbfmdabfoqp2f7lbum

Springer-Verlag

677
Known Releases
Preservation Summary [more]
308 preserved and accessble (bright)
369 preserved, inaccessible (dark)
0 no known preservation
Release Types
article-journal 677
ISSN-L?  0925-9856
    Print:  0925-9856
    Electronic:  1572-8102
Wikidata  Q15755416
Directory Listings
Not in DOAJ
Lookup Links
ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Catalog Record
Revision: 6a4853b9-a8cf-4206-ab41-56c8985f60a1
API URL: JSON