-
1
Computer aided verification 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023 : proceedings, part I
Veröffentlicht 2023Weitere Verfasser: “… Enea, Constantin …”
kostenfrei
kostenfrei
Elektronisch Tagungsbericht E-Book -
2
Computer aided verification 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023 : proceedings, part III
Veröffentlicht 2023Weitere Verfasser: “… Enea, Constantin …”
kostenfrei
kostenfrei
Elektronisch Tagungsbericht E-Book -
3
Verification, model checking, and abstract interpretation 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, proceedings
Veröffentlicht 2019Weitere Verfasser: “… Enea, Constantin …”
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 -
4
Computer aided verification 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023 : proceedings, part II
Veröffentlicht 2023Weitere Verfasser: “… Enea, Constantin …”
kostenfrei
kostenfrei
Elektronisch Tagungsbericht E-Book -
5
Networked systems 12th international conference, NETYS 2024, Rabat, Morocco, May 29–31, 2024, proceedings
Veröffentlicht 2024Weitere Verfasser:
VolltextElektronisch Tagungsbericht E-Book -
6
Verification, model checking, and abstract interpretation 20th international conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019 : proceedings
Veröffentlicht 2019Weitere Verfasser: “… Enea, Constantin …”
Tagungsbericht Buch -
7
Computer aided verification 35th international conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings
Veröffentlicht 2023Weitere Verfasser: “… Enea, Constantin …”
Tagungsbericht Buch -
8
Computer aided verification 35th international conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings
Veröffentlicht 2023Weitere Verfasser: “… Enea, Constantin …”
Tagungsbericht Buch -
9
Computer aided verification 35th international conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings
Veröffentlicht 2023Weitere Verfasser: “… Enea, Constantin …”
Tagungsbericht Buch -
10
Computer aided verification 35th international conference, CAV 2023, Paris, France, July 17-22, 2023 : proceedings
Veröffentlicht 2023Weitere Verfasser: “… Enea, Constantin …”
Tagungsbericht Buch