Exzellenzportal der Leibnizpreisträger der Deutschen Forschungsgemeinschaft
Startseite
Suche
Projekt
Teilnehmende Preisträger
Partner
Fachgebiete
Kontakt
Hilfe
Impressum
Datenschutzerklärung
Barrierefreiheit
A
A
A
Zurück zum Suchergebnis
Suche in der Publikation
Compositional refinement of interactive systems
Autor / Herausgeber
: Broy, Manfred
Verlagsort
: New York, NY |
Verlag
: Assoc. for Computing Machinery (ACM)
[Suche in der Publikation]
[PDF-Download]
50%
100%
150%
-10
-5
-1
Scan
+1
+5
+10
50%
100%
150%
-10
-5
-1
Scan
+1
+5
+10