Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die Deutsche Nationalbibliothek öffnet ab dem 4. Mai 2020 unter Beachtung der geltenden Hygiene- und Abstandsregelungen ihre Lesesäle für den eingeschränkten Benutzungsbetrieb. Für den Zutritt ist eine Reservierungsbestätigung zwingend notwendig. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Lösen Sie Bestellungen bitte erst nach der erfolgreichen Reservierung aus.
 
 

Ergebnis der Suche nach: nid=113863691



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/113863691
Name Wehrheim, Heike
Publikationen von Autoren mit diesem Namen 6 Publikationen
  1. Partial order reductions for bisimulation checking
    Huhn, Michaela. - Hildesheim : Inst. für Informatik, 1998
  2. The dynamic models of UML
    Gehrke, Thomas. - Hildesheim : Inst. für Informatik, 1998
  3. ...
Beteiligt an 5 Publikationen
  1. Mechanized proofs of opacity: a comparison of two techniques
    In: Formal aspects of computing 21.8.2017: 1-29
  2. Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
    Timm, Nils. - Paderborn : Universitätsbibliothek, 2013
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration