Ahmed Bouajjani
AuthID: R-00G-VR6
1
TITLE: 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 Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
AUTHORS: Ahmed Bouajjani; Alexandra Silva;
PUBLISHED: 2017, SOURCE: FORTE, VOLUME: 10321
AUTHORS: Ahmed Bouajjani; Alexandra Silva;
PUBLISHED: 2017, SOURCE: FORTE, VOLUME: 10321
INDEXED IN: 
DBLP
DBLP2
TITLE: Networked Systems - Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers
AUTHORS: Ahmed Bouajjani; Hugues Fauconnier;
PUBLISHED: 2015, SOURCE: NETYS, VOLUME: 9466
AUTHORS: Ahmed Bouajjani; Hugues Fauconnier;
PUBLISHED: 2015, SOURCE: NETYS, VOLUME: 9466
INDEXED IN: DBLP
DBLP3
TITLE: Networked Systems
AUTHORS: Ahmed Bouajjani; Hugues Fauconnier;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science
AUTHORS: Ahmed Bouajjani; Hugues Fauconnier;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef