CosyVerif: an Online Verification Platform - Archive ouverte HAL
Article Dans Une Revue Petri Net Newsletter Année : 2021

CosyVerif: an Online Verification Platform

Domaines

Modélisation et simulation

Jaime ARIAS  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03777111

Soumis le : mercredi 14 septembre 2022-12:56:52

Dernière modification le : jeudi 31 octobre 2024-03:21:52

Fichier non déposé

Dates et versions

hal-03777111 , version 1 (14-09-2022)

Identifiants

  • HAL Id : hal-03777111 , version 1

Citer

Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Laure Petrucci. CosyVerif: an Online Verification Platform. Petri Net Newsletter, 2021, 87, pp.5--7. ⟨hal-03777111⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 CNRS LACL UPEC LIPN LIP6 TDS-MACS SORBONNE-UNIVERSITE SU-SCIENCES SORBONNE-PARIS-NORD ACT-R
85 Consultations
0 Téléchargements

Partager

More