> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Konferenzbericht Titel: 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013) : FSFMA 2013 ; July 15 - 16, 2013, Singapore Beteiligte: Choppy, Christine [Sonstige Person, Familie und Körperschaft] Körperschaft: Schloss Dagstuhl, Leibniz-Zentrum für Informatik Erschienen: Wadern, 2013 Erschienen in: Open access series in informatics ; 31 Umfang: Online-Ressource (PDF-Datei: X, 91 S., 7,7 MB) Sprache: Englisch DOI: 10.4230/OASIcs.FSFMA.2013.i ISBN: 9783939897569 Identifikator: Schlagwörter: Konferenzschrift Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang