Katalog der Deutschen Nationalbibliothek

 

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