> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel; Elektronischer Konferenzbericht; Sonstige Veröffentlichung Titel: LIPIcs, Volume 42, CONCUR'15, Complete Volume Beteiligte: Aceto, Luca [VerfasserIn]; de Frutos Escrig, David [VerfasserIn] Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015 Sprache: Englisch DOI: https://doi.org/10.4230/LIPIcs.CONCUR.2015 Schlagwörter: Computation by Abstract Devices ; Software Engineering ; Simulation and Modeling ; Logics and Meanings of Programs ; Computer-Communication Networks Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Beschreibung: LIPIcs, Volume 42, CONCUR'15, Complete Volume Zugangsstatus: Freier Zugang