Georg Dresler - Veröffentlichungen allgemein

(1 - 6 von 7

)

der stadt Oranienbaum-WÃ¶rlitz - WÃ¶rlitzer WinkelYUMPU

www.yumpu.com

— Herrn Georg Dresler zum 73. Geburtstag. am Herrn Manfred Eichner zum 75. Geburtstag. am Frau Hanna Krüger zum

link.springer.com › chapterSoftware Verification in the Google App-Engine Cloud ...

link.springer.com

Software Verification in the Google App-Engine Cloud. Authors; Authors and affiliations. Dirk Beyer; Georg Dresler; Philipp Wendler. Dirk Beyer. 1. Georg Dresler.

26th International Conference, CAV 2014, Held as Part of the ...researchr.org

researchr.org

... Georg Dresler, Philipp Wendler [doi] · The nuXmv Symbolic Model CheckerRoberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio ...

Kontributionsrechnung der Gemeinde Oberrimbach im Amt...Deutsche Digitale Bibliothek

www.deutsche-digitale-bibliothek.de

Kontributionsrechnung der Gemeinde Oberrimbach im Amt Schlüsselfeld vom 1. Januar bis zum 31. Dezember 1746, geführt vom Steuereinnehmer Georg Dresler. Mehr ...

Software Verification in the Google App-Engine CloudSpringer

link.springer.com

von D Beyer · · Zitiert von: 20 — Software Verification in the Google App-Engine Cloud. Dirk Beyer,; Georg Dresler & ... Authors and Affiliations. University of Passau, Germany. Dirk Beyer, Georg ...