Canonization of reconfigurable PT nets in \texttt{Maude} (Q6173110)
From MaRDI portal
scientific article; zbMATH DE number 7714983
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Canonization of reconfigurable PT nets in \texttt{Maude} |
scientific article; zbMATH DE number 7714983 |
Statements
Canonization of reconfigurable PT nets in \texttt{Maude} (English)
0 references
21 July 2023
0 references
0 references
0 references
