Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables."
Link zu diesem Datensatz | https://d-nb.info/99033774X |
Titel | Qualitative constraint calculi : heterogeneous verification of composition tables / Stefan Wölfl ... |
Person(en) |
Wölfl, Stefan (Mitwirkender) Mossakowski, Till (Mitwirkender) Schröder, Lutz (Mitwirkender) |
Verlag | [Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik] |
Zeitliche Einordnung | Erscheinungsdatum: [2007] |
Umfang/Format | Online-Ressource |
Persistent Identifier | URN: urn:nbn:de:0030-drops-9798 |
URL | http://drops.dagstuhl.de/opus/volltexte/2007/979/pdf/05491.WoelflStefan.Paper.979.pdf (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Beziehungen | Dagstuhl seminar proceedings 05491 |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |