Lifted structural invariant analysis of Petri net product lines
- Gómez-Martínez, E.
- Guerra, E.
- de Lara, J.
- Garmendia, A.
Aldizkaria:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216, 2352-2208
Argitalpen urtea: 2023
Alea: 130
Mota: Artikulua