CosyVerif: an Online Verification Platform - Archive ouverte HAL Access content directly
Journal Articles Petri Net Newsletter Year : 2021
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-03777111 , version 1

Cite

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⟩
48 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More