STAR: A Software Tool for Validating Concurrent Systems
Title | STAR: A Software Tool for Validating Concurrent Systems |
Publication Type | Conference Paper |
Year of Publication | 1985 |
Authors | Silva, M, Martínez J, Colom JM |
Conference Name | Programming - KTSG Technical Week |
Date Published | 09/1985 |
Publisher | SESA-RC |
Conference Location | Madrid, Spain |
Export |