-
1
Networked systems 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020 : proceedings
Veröffentlicht 2021Weitere Verfasser: Volltext öffnen
Elektronisch Tagungsbericht E-Book -
2
Computer aided verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings : part II
Veröffentlicht 2017Weitere Verfasser: “… Majumdar, Rupak …”
Volltext öffnen Volltext öffnen
Elektronisch Tagungsbericht E-Book -
3
Computer aided verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings : part I
Veröffentlicht 2017Weitere Verfasser: “… Majumdar, Rupak …”
Volltext öffnen Volltext öffnen
Elektronisch Tagungsbericht E-Book -
4
Principles of Systems Design Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
Veröffentlicht 2022Weitere Verfasser:
Volltext öffnen Volltext öffnen
Elektronisch E-Book -
5
POPL'16 proceedings of the 43rd annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 20-22, 2016, St. Petersburg, FL, USA
Veröffentlicht 2016Weitere Verfasser: -
6
Computer aided verification 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings
Veröffentlicht 2017Weitere Verfasser: “… Majumdar, Rupak …”
-
7
Computer aided verification 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings
Veröffentlicht 2017Weitere Verfasser: “… Majumdar, Rupak …”
-
8
35th International Conference on Concurrency Theory CONCUR 2024, September 9–13, 2024, Calgary, Canada
Veröffentlicht 2024Weitere Verfasser: “… Majumdar, Rupak …”
Volltext öffnen
-
9
Computer aided verification 29th international conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings
Veröffentlicht 2017Weitere Verfasser: “… Majumdar, Rupak …”
-
10
Principles of systems design essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday
Veröffentlicht 2022Weitere Verfasser:Buch Fernleihe Bestellen
