> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel; Sonstige Veröffentlichung; Elektronischer Konferenzbericht Titel: OASIcs, Volume 31, FSFMA'13, Complete Volume Beteiligte: Choppy, Christine [VerfasserIn]; Sun, Jun [VerfasserIn] Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013 Sprache: Englisch DOI: https://doi.org/10.4230/OASIcs.FSFMA.2013 Schlagwörter: Formal methods Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Beschreibung: OASIcs, Volume 31, FSFMA'13, Complete Volume Zugangsstatus: Freier Zugang