ausblenden:
Titel:
Formal Methods in System Design
Genre der Quelle:
Zeitschrift
Urheber:
Affiliations:
Ort, Verlag, Ausgabe:
Berlin : Springer
Seiten:
-
Band / Heft:
51 (3)
Artikelnummer:
-
Start- / Endseite:
433 - 461
Identifikator:
ISSN: 0925-9856