Verification of Language-Based Opacity in Petri Nets Using Verifier
Abstract
no abstract
![]() |
William Domingues Vinhas : Connect in order to contact the contributor
https://amu.hal.science/hal-01490151
Submitted on : Tuesday, March 14, 2017-10:24:49 PM
Last modification on : Friday, November 25, 2022-6:54:06 PM