Zoeken

U zocht naar: Auteur Bouajjani, Ahmed. Filter Auteur: Bouajjani, Ahmed. weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings
thumbnail
Full text!
Auteur:
Bouajjani, Ahmed.; Holík, Lukás; Wu, Zhilin
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book
2. Computer Aided Verification
thumbnail
Full text!
Auteur:
Bouajjani, Ahmed; Kanade, Takeo; Maler, Oded; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book
3. Automated Technology for Verification and Analysis
thumbnail
Full text!
Auteur:
Bouajjani, Ahmed; Chin, Wei-Ngan; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book