Treffer 1 – 7 von 7 für Suche 'Leucker, Martin 1971-', Suchdauer: 0,06s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Logics for Mazurkiewicz traces

    Logics for Mazurkiewicz traces von Leucker, Martin 1971-

    Veröffentlicht 2002
    Inhaltsverzeichnis
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Truth - a platform for verification of distributed systems

    Truth - a platform for verification of distributed systems von Leucker, Martin 1971-, Tobies, Stephan 1972-

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Runtime verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018 : proceedings

    Runtime verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018 : proceedings

    Veröffentlicht 2018
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Formal methods in outer space essays dedicated to Klaus Havelund on the occasion of his 65th birthday

    Formal methods in outer space essays dedicated to Klaus Havelund on the occasion of his 65th birthday

    Veröffentlicht 2021
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Theoretical aspects of computing – ICTAC 2015 12th International Colloquium Cali, Colombia, October 29–31, 2015, proceedings

    Theoretical aspects of computing – ICTAC 2015 12th International Colloquium Cali, Colombia, October 29–31, 2015, proceedings

    Veröffentlicht 2015
    Weitere Verfasser: “… Leucker, Martin 1971- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Theoretical aspects of computing - ICTAC 2015 12th international colloquium, Cali, Colombia, October 29-31, 2015 : proceedings

    Theoretical aspects of computing - ICTAC 2015 12th international colloquium, Cali, Colombia, October 29-31, 2015 : proceedings

    Veröffentlicht 2015
    Weitere Verfasser: “… Leucker, Martin 1971- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    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
    Weitere Verfasser:
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: