Lifted structural invariant analysis of Petri net product lines
| Autor: | Gómez-Martínez, Elena, Guerra, Esther, de Lara, Juan, Garmendia, Antonio |
|---|---|
| Zdroj: | In Journal of Logical and Algebraic Methods in Programming January 2023 130 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect