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

2 résultats

	Pour les 2 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

		Carmen: Software Component Model Checker Ales Plsek , Jiri Adamek 4th International Conference on the Quality of Software Architecture (QoSA'08), Oct 2008, Karlsruhe, Germany. pp.71-85 Communication dans un congrès inria-00282373v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Coalgebraic Perspective on Minimization and Determinization. Jirí Adámek , Filippo Bonchi , Mathias Hulsbusch , Barbara König , Stefan Milius , et al. Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, 2012, Estonia. pp.58-73 Communication dans un congrès hal-00798063v1	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