Réification des accélérations pour la construction de Karp et Miller - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Réification des accélérations pour la construction de Karp et Miller

Alain Finkel
Laboratoire Spécification et Vérification [Cachan]
Serge Haddad
Laboratoire Spécification et Vérification [Cachan]
CV
Igor Khmeniltsky
  • Fonction : Auteur
  • PersonId : 1062418

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
MSR19_paper_17.pdf (530.11 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Mehdi Lhommeau  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02431913

Soumis le : mercredi 8 janvier 2020-11:26:34

Dernière modification le : vendredi 5 avril 2024-15:47:00

Archivage à long terme le : jeudi 9 avril 2020-14:47:26

Télécharger pour visualiser

Dates et versions

hal-02431913 , version 1 (08-01-2020)

Identifiants

  • HAL Id : hal-02431913 , version 1

Citer

Alain Finkel, Serge Haddad, Igor Khmeniltsky. Réification des accélérations pour la construction de Karp et Miller. Modélisation des Systèmes Réactifs (MSR 19), Nov 2019, Angers, France, Nov 2019, Angers, France. ⟨hal-02431913⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ENS-CACHAN UNIV-PARIS-SACLAY ANR ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
58 Consultations
151 Téléchargements

Partager

Gmail Facebook X LinkedIn More