STAR: A Software Tool for Validating Concurrent Systems

TitleSTAR: A Software Tool for Validating Concurrent Systems
Publication TypeConference Paper
Year of Publication1985
AuthorsSilva, M, Martínez J, Colom JM
Conference NameProgramming - KTSG Technical Week
Date Published09/1985
PublisherSESA-RC
Conference LocationMadrid, Spain
Export