Recherche

		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 30 résultats par page 50 résultats par page 100 résultats par page Pour ce document Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-01090330v1 Autre publication Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer, Axel Legay, Alexandre Arnold. SoS contract verification using statistical model checking Workshop paper presenting the Toolchain to be produced by the DANSE project for modelling and ver.. 2013, pp.67 - 83. <10.4204/EPTCS.133.7>
		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 30 résultats par page 50 résultats par page 100 résultats par page Pour ce document Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM