Reachability Problems - 6th International Workshop, RP 2012

Jérôme Leroux; Alain Finkel; Igor Potapov

doi:10.1007/978-3-642-33512-9

Ouvrages Année : 2012

Reachability Problems - 6th International Workshop, RP 2012

(1) , (2) , (3)

1
2
3

Jérôme Leroux

Fonction : Directeur scientifique
PersonId : 1216
IdHAL : jerome-leroux
IdRef : 079082742

Laboratoire Bordelais de Recherche en Informatique

CV

Alain Finkel

Fonction : Directeur scientifique
PersonId : 13941
IdHAL : alain-finkel
ORCID : 0000-0003-0702-3232
IdRef : 031087140

Laboratoire Spécification et Vérification [Cachan]

Igor Potapov

Fonction : Directeur scientifique

University of Liverpool

Jérôme Leroux : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00760303

Soumis le : lundi 3 décembre 2012-16:39:22

Dernière modification le : vendredi 24 mars 2023-14:52:56

Dates et versions

hal-00760303 , version 1 (03-12-2012)

Identifiants

HAL Id : hal-00760303 , version 1
DOI : 10.1007/978-3-642-33512-9

Citer

Jérôme Leroux, Alain Finkel, Igor Potapov (Dir.). Reachability Problems - 6th International Workshop, RP 2012. Spinger, pp.150, 2012, 978-3-642-33511-2. ⟨10.1007/978-3-642-33512-9⟩. ⟨hal-00760303⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ENS-CACHAN ENS-PARIS-SACLAY

150 Consultations

0 Téléchargements

Reachability Problems - 6th International Workshop, RP 2012

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager