Treffer 1 - 18 von 18 für Suche 'Larsen, Kim G.', Suchdauer: 0,33s Treffer weiter einschränken
  1. 1
    von Larsen, Kim G.
    Veröffentlicht 1986
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    30 Years of Statistical Model Checking
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    von Hüttel, Hans
    Veröffentlicht 1993
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Concurrency theory : 12th international conference ; proceedings
    Veröffentlicht 2001
    Kapitel
    Inhaltsverzeichnis
    Buchumschlag
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Automata, languages and programming : proceedings
    Veröffentlicht 1998
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Formal modeling and analysis of timed systems : first international workshop ; revised papers
    Veröffentlicht 2004
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Computer aided verification : proceedings
    Veröffentlicht 1992
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    von Larsen, Kim G.
    Veröffentlicht 1995
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Urgent Partial Order Reduction for Extended Timed Automata
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Formal modeling and analysis of timed systems : first international workshop, Marseille, France, September 6 - 7, 2003 ; revised papers
    Veröffentlicht 2004
    Cover
    Inhaltstext
    Volltext
    Table of contents
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001 ; proceedings
    Veröffentlicht 2001
    Cover
    Kapitel 1
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Automata, languages and programming : 25th international colloquium, ICALP '98, Aalborg, Denmark, July 13 - 17, 1998 ; proceedings
    Veröffentlicht 1998
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Lumpability for Uncertain Continuous-Time Markov Chains
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Stubborn Set Reduction for Timed Reachability and Safety Games
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    STOMPC: Stochastic Model-Predictive Control with UPAAL STRATEGO
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Fluid Model-Checking in UPPAAL for Covid-19
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    An Integer Static Analysis for Better Extrapolation in Uppaal
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Foundations of reading acquisition and dyslexia : implications for early intervention
    Veröffentlicht 1997
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: