Mostrando 1 - 2 Resultados de 2 Para Buscar 'Bouajjani, Ahmed.', tiempo de consulta: 0.01s Limitar resultados
1
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 /
Publicado 2017
Otros Autores: “...Bouajjani, Ahmed....”
eBook
2
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
Publicado 2017
Otros Autores: “...Bouajjani, Ahmed....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda