Metadata only
Datum
2014Typ
- Other Conference Item
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Buchtitel
Abstract State Machines, Alloy, B, TLA, VDM, and ZZeitschrift / Serie
Lecture Notes in Computer ScienceBand
Seiten / Artikelnummer
Verlag
SpringerKonferenz
Organisationseinheit
03634 - Basin, David / Basin, David
02660 - Institut für Informationssicherheit / Institute of Information Security
ETH Bibliographie
yes
Altmetrics