Ahmed Bouajjani
AuthID: R-00G-VR6
1
TÃTULO: 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
AUTORES: Ahmed Bouajjani; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: FORTE, VOLUME: 10321
AUTORES: Ahmed Bouajjani; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: FORTE, VOLUME: 10321
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Networked Systems - Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers
AUTORES: Ahmed Bouajjani; Hugues Fauconnier;
PUBLICAÇÃO: 2015, FONTE: NETYS, VOLUME: 9466
AUTORES: Ahmed Bouajjani; Hugues Fauconnier;
PUBLICAÇÃO: 2015, FONTE: NETYS, VOLUME: 9466
INDEXADO EM: DBLP
DBLP3
TÃTULO: Networked Systems
AUTORES: Ahmed Bouajjani; Hugues Fauconnier;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science
AUTORES: Ahmed Bouajjani; Hugues Fauconnier;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science
INDEXADO EM: 
CrossRef
CrossRef