Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique

3 résultats

	Pour les 3 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Automated Analysis of Asynchronously Communicating Systems Lakhdar Akroun , Gwen Salaün , Lina Ye 23rd International SPIN symposium on Model Checking of Software, Apr 2016, Eindhoven, Netherlands. ⟨10.1007/978-3-319-32582-8_1⟩ Communication dans un congrès hal-01280164v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Automated verification of automata communicating via FIFO and bag buffers Lakhdar Akroun , Gwen Salaün Formal Methods in System Design, 2018, 52 (3), pp.260 - 276. ⟨10.1007/s10703-017-0285-8⟩ Article dans une revue hal-01898159v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Reasoning in description logics with variables: preliminary results regarding the EL logic. Lakhdar Akroun , Lhouari Nourine , Farouk Toumani 28th International Workshop on Description Logics, Jun 2015, Athenes, Greece. pp.12 Communication dans un congrès hal-01163342v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats