Zum Inhalt springen

  1. Larsen, Kim G.; Legay, Axel

    Recent Trends in Algebraic Development Techniques: Quantitative Modal Transition Systems : (Invited Extended Abstract) : (Invited Extended Abstract)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2013

    Erschienen in: Recent Trends in Algebraic Development Techniques

  2. Křetínský, Jan; Sickert, Salomon

    Theoretical Aspects of Computing – ICTAC 2013: On Refinements of Boolean and Parametric Modal Transition Systems

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2013

    Erschienen in: Theoretical Aspects of Computing – ICTAC 2013

  3. Beneš, Nikola; Křetínský, Jan; Guldstrand Larsen, Kim; Møller, Mikael H.; Srba, Jiří

    Logic for Programming, Artificial Intelligence, and Reasoning: Dual-Priced Modal Transition Systems with Time Durations

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2012

    Erschienen in: Logic for Programming, Artificial Intelligence, and Reasoning

  4. Beneš, Nikola; Černá, Ivana; Křetínský, Jan

    Automated Technology for Verification and Analysis: Modal Transition Systems: Composition and LTL Model Checking

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2011

    Erschienen in: Automated Technology for Verification and Analysis

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

    Mathematical Foundations of Computer Science 2011: Quantitative Refinement for Weighted Modal Transition Systems

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2011

    Erschienen in: Mathematical Foundations of Computer Science 2011

  6. Fischbein, Dario; Braberman, Victor; Uchitel, Sebastian

    Theoretical Aspects of Computing - ICTAC 2009: A Sound Observational Semantics for Modal Transition Systems

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2009

    Erschienen in: Theoretical Aspects of Computing - ICTAC 2009

  7. Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří

    Theoretical Aspects of Computing - ICTAC 2009: Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2009

    Erschienen in: Theoretical Aspects of Computing - ICTAC 2009

  8. Espada, Miguel Valero; van de Pol, Jaco

    Algebraic Methodology and Software Technology: Accelerated Modal Abstractions of Labelled Transition Systems

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2006

    Erschienen in: Algebraic Methodology and Software Technology

  9. Larsen, Kim G.; Steffen, Bernhard; Weise, Carsten

    Tools and Algorithms for the Construction and Analysis of Systems: A constraint oriented proof methodology based on modal transition systems

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 1995

    Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems

  10. Huth, Michael

    Lecture Notes in Computer Science: A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 1999

    Erschienen in: Lecture Notes in Computer Science

  11. ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca

    Lecture Notes in Computer Science: Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer International Publishing, 2019

    Erschienen in: Lecture Notes in Computer Science

  12. Dimovski, Aleksandar S.

    Fundamental Approaches to Software Engineering: Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL$$^{\star }$$⋆

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer International Publishing, 2018

    Erschienen in: Fundamental Approaches to Software Engineering

  13. Dima, Cătălin; Maubert, Bastien; Pinchinat, Sophie

    Mathematical Foundations of Computer Science 2015: Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2015

    Erschienen in: Mathematical Foundations of Computer Science 2015