Katalog der Deutschen Nationalbibliothek

Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Aufgrund von Systemarbeiten sind die archivierten Webseiten vorübergehend nicht erreichbar.
 
Neuigkeiten Vom 7. April bis einschließlich 10. April (Ostern) ist die Deutsche Nationalbibliothek an beiden Standorten geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums in Leipzig sind in diesem Zeitraum von 10 bis 18 Uhr geöffnet.
 
 

Ergebnis der Suche nach: nid=131785931



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/131785931
Person Balser, Michael
Andere Namen Balser, M.
Zeit Lebensdaten: 1972-
Beruf(e) Informatiker
Weitere Angaben Diss. Fakultät für Angewandte Informatik an der Universität Augsburg; Informatiker
Typ Person (piz)
Autor von 10 Publikationen
  1. Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
    Dunets, Andriy. - Augsburg : Universität Augsburg, 2009
  2. Interactive Verification of Concurrent Systems using Symbolic Execution
    Balser, Michael. - Augsburg : Universität Augsburg, 2008
  3. ...
Beteiligt an 1 Publikation
  1. Formal Semantics of Asbru - V2.12
    Augsburg : Universität Augsburg, 2006





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration