Zum Inhalt springen

  4. Alrajeh, Dalal [VerfasserIn]; Kramer, Jeff [VerfasserIn]; Russo, Alessandra [VerfasserIn]; Uchitel, Sebastian [VerfasserIn] ; Dalal Alrajeh and Jeff Kramer and Alessandra Russo and Sebastian Uchitel [MitwirkendeR]

    An Inductive Approach for Modal Transition System Refinement

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011

  8. Parrow, Joachim [VerfasserIn]; Borgström, Johannes [VerfasserIn]; Eriksson, Lars-Henrik [VerfasserIn]; Gutkovas, Ramunas [VerfasserIn]; Weber, Tjark [VerfasserIn] ; Joachim Parrow and Johannes Borgström and Lars-Henrik Eriksson and Ramunas Gutkovas and Tjark Weber [MitwirkendeR]

    Modal Logics for Nominal Transition Systems

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  10. Jasper, Marc [VerfasserIn] ; Steffen, Bernhard [AkademischeR BetreuerIn]; Siegel, Stephen F. [Sonstige Person, Familie und Körperschaft]

    Synthesizing realistic verification tasks

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Dortmund: Universitätsbibliothek Dortmund, 2021

  17. Bauer, Sebastian S.; Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Legay, Axel; Thrane, Claus

    Weighted modal transition systems

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 2013

    Erschienen in: Formal Methods in System Design