Approaching the Coverability Problem Continuously - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2015

Approaching the Coverability Problem Continuously

Domaines

Théorie et langage formel [cs.FL]

Benedikt Bollig  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01242916

Soumis le : lundi 14 décembre 2015-12:12:30

Dernière modification le : vendredi 24 mars 2023-14:53:01

Fichier non déposé

Dates et versions

hal-01242916 , version 1 (14-12-2015)

Identifiants

  • HAL Id : hal-01242916 , version 1

Citer

Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad. Approaching the Coverability Problem Continuously. [Research Report] 1510.05724, Computing Research Repository. 2015. ⟨hal-01242916⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN INRIA2 LARA UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE
127 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More