Coverage Analysis of Net Inscriptions in Coloured Petri Net Models
- Ahishakiye, F.
- Requeno Jarabo, J.I.
- Kristensen, L.M.
- Stolz, V.
ISSN: 1611-3349, 0302-9743
ISBN: 9783030659547
Année de publication: 2020
Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Proceedings
Volumen: 12519 LNCS
Pages: 68-83
Type: Communication dans un congrès