-
1
Verification, model checking, and abstract interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings
Veröffentlicht 2017Weitere Verfasser: “… Bouajjani, Ahmed …”
Volltext öffnen Volltext öffnen
Elektronisch Tagungsbericht E-Book -
2
Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International conference, FORTE 2017, held as part of the 12th International federated conferenc...
Veröffentlicht 2017Weitere Verfasser: “… Bouajjani, Ahmed …”
Volltext öffnen Volltext öffnen
Elektronisch Tagungsbericht E-Book -
3
Automated technology for verification and analysis 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022, proceedings
Veröffentlicht 2022Weitere Verfasser: “… Bouajjani, Ahmed …”
Volltext öffnen Volltext öffnen
Elektronisch Tagungsbericht E-Book -
4
Verification, model checking, and abstract interpretation 18th international conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings
Veröffentlicht 2017Weitere Verfasser: “… Bouajjani, Ahmed …”
-
5
Formal techniques for distributed objects, components, and systems 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conferenc...
Veröffentlicht 2017Weitere Verfasser: “… Bouajjani, Ahmed …”
-
6
Networked systems Third international conference, NETYS 2015, Agadir, Morocco, May 13–15, 2015 : revised selected papers
Veröffentlicht 2015Weitere Verfasser: “… Bouajjani, Ahmed …”
-
7
Networked Systems Third International Conference, NETYS 2015, Agadir, Morocco, May 13–15, 2015 : Revised Selected Papers
Veröffentlicht 2015Weitere Verfasser: “… Bouajjani, Ahmed …”
Volltext öffnen
-
8
Automated technology for verification and analysis 20th international symposium, ATVA 2022 virtual event, October 25-28-, 2022 : proceedings
Veröffentlicht 2022Weitere Verfasser: “… Bouajjani, Ahmed …”
