Treffer 1 - 3 von 3 für Suche 'Rosu, Grigore', Suchdauer: 0,20s Treffer weiter einschränken
  1. 1
    Tools and algorithms for the construction and analysis of systems 28th international conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, proceedings, part I

    Tools and algorithms for the construction and analysis of systems 28th international conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice o...

    Veröffentlicht 2022
    Weitere Verfasser:
    kostenfrei
    kostenfrei
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Tools and algorithms for the construction and analysis of systems 28th international conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, proceedings, part II

    Tools and algorithms for the construction and analysis of systems 28th international conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice o...

    Veröffentlicht 2022
    Weitere Verfasser:
    kostenfrei
    kostenfrei
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Model Checking Software 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

    Model Checking Software 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

    Veröffentlicht 2022
    Weitere Verfasser:

    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: