1
Automated Technology for Verification and Analysis [E-Book] : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings /
Other Personal Name(s): “...Bouajjani, Ahmed...”

Full text 
Favorites
Saved in:
2
Networked Systems [E-Book] : Third International Conference, NETYS 2015, Agadir, Morocco, May 13–15, 2015, Revised Selected Papers /
Other Personal Name(s): “...Bouajjani, Ahmed...”

Full text 
Favorites
Saved in:
3
Computer Aided Verification [E-Book] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
Other Personal Name(s): “...Bouajjani, Ahmed...”

Full text 
Favorites
Saved in:

Narrow Search Results