gefundene Verfasser Katoen, J

Katoen, Joost-Pieter 1964-
Baier, Christel
Katoen, Joost-Pieter
Barthe, Gilles 1967-
Chechik, Marsha
Alle anzeigen »
International Symposium on Formal Methods Lübeck
Guan, Nan
Heggernes, Pinar 1969-
International Symposium on Mathematical Foundations of Computer Science Aachen
Langerak, Rom

Treffer 1 - 13 von 13 für Suche 'Katoen, J', Suchdauer: 0,19s Treffer weiter einschränken
  1. 1
    Foundations of probabilistic programming

    Foundations of probabilistic programming

    Veröffentlicht 2021
    Volltext
    E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Principles of model checking

    Principles of model checking von Baier, Christel, Katoen, Joost-Pieter 1964-

    Veröffentlicht 2008
    DE-634
    DE-91
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Quantitative and qualitative extensions of event structures

    Quantitative and qualitative extensions of event structures von Katoen, Joost-Pieter 1964-

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Principles of model checking

    Principles of model checking von Baier, Christel, Katoen, Joost-Pieter 1964-

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Concepts, algorithms, and tools for model checking [lecture notes of the course "Mechanised validation of parallel systems"; Semester 1998/1999]

    Concepts, algorithms, and tools for model checking [lecture notes of the course "Mechanised validation of parallel systems"; Semester 1998/1999] von Katoen, Joost-Pieter 1964-

    Veröffentlicht 1999
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Principles of model checking

    Principles of model checking von Baier, Christel, Katoen, Joost-Pieter 1964-

    Veröffentlicht 2008
    Principles of model checking
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Dependable software engineering theories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019 : proceedings

    Dependable software engineering theories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019 : proceedings

    Veröffentlicht 2019
    DE-634
    DE-Aug4
    DE-573
    DE-M347
    DE-92
    DE-898
    DE-859
    DE-860
    DE-861
    DE-863
    DE-862
    DE-523
    DE-91
    DE-473
    DE-19
    DE-355
    DE-703
    DE-20
    DE-706
    DE-29
    DE-739
    URL des Erstveröffentlichers
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Formal methods 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, proceedings

    Formal methods 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, proceedings

    Veröffentlicht 2023

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  9. 9
    ModelEd, testEd, trustEd essays dedicated to Ed Brinksma on the occasion of his 60th birthday

    ModelEd, testEd, trustEd essays dedicated to Ed Brinksma on the occasion of his 60th birthday

    Veröffentlicht 2017

    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Foundations of probabilistic programming

    Foundations of probabilistic programming

    Veröffentlicht 2021
    kostenfrei
    kostenfrei
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  11. 11
    ModelEd, TestEd, TrustEd essays dedicated to Ed Brinksma on the occasion of his 60th birthday

    ModelEd, TestEd, TrustEd essays dedicated to Ed Brinksma on the occasion of his 60th birthday

    Veröffentlicht 2017
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Formal methods 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023 : proceedings

    Formal methods 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023 : proceedings

    Veröffentlicht 2023
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    44th International Symposium on Mathematical Foundations of Computer Science MFCS 2019, August 26–30, 2019, Aachen, Germany

    44th International Symposium on Mathematical Foundations of Computer Science MFCS 2019, August 26–30, 2019, Aachen, Germany

    Veröffentlicht 2019
    Volltext
    Volltext
    kostenfrei
    kostenfrei
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: