Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Why does Astrée scale up?"
Link zu diesem Datensatz | https://d-nb.info/1188866842 |
Titel | Why does Astrée scale up? / by Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival |
Person(en) |
Cousot, Patrick (Verfasser) Cousot, Radhia (Verfasser) Feret, Jérôme (Verfasser) Mauborgne, Laurent (Verfasser) Miné, Antoine (Verfasser) Rival, Xavier (Verfasser) |
Organisation(en) | SpringerLink (Online service) (Sonstige) |
Umfang/Format | Online-Ressource : online resource. |
Persistent Identifier |
URN: urn:nbn:de:101:1-2019062021435889031032 DOI: 10.1007/s10703-009-0089-6 |
URL | https://doi.org/10.1007/s10703-009-0089-6 |
Zeitliche Einordnung | Erscheinungsdatum: 2009 |
DDC-Notation | 005.14 (maschinell ermittelte DDC-Kurznotation) |
Sprache(n) | Englisch (eng) |
Beziehungen | Enthalten in: Formal methods in system design (Bd. 35, 11.11.2009, Nr. 3, date:12.2009: 229-264) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |