Formal methods transformation optimizations within the ACP2PETRI tool
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Slovak English |
| PhysicalDescription: | Sch. |
| ISSN: | 1335-8243 |
| Subjects: |
| Item Description: | Biogr. údaje |
|---|---|
| Physical Description: | Sch. |
| ISSN: | 1335-8243 |
| Bibliography: | Bibliogr. odkazy |
