PATool - a tool for design and analysis of discrete systems using process algebras with FDT integration support
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Slovak English |
| PhysicalDescription: | Obr., sch. |
| ISSN: | 1335-8243 |
| Subjects: | |
| Online Access: | http://www.aei.tuke.sk/pdf/2010-01/10_Simonak.pdf |
| Item Description: | Biogr. údaje |
|---|---|
| Physical Description: | Obr., sch. |
| ISSN: | 1335-8243 |
| Bibliography: | Bibliogr. odkazy |
