%0 Conference Paper %B Programming - KTSG Technical Week %D 1985 %T STAR: A Software Tool for Validating Concurrent Systems %A M. Silva %A J. Martínez %A J.M. Colom %C Madrid, Spain %I SESA-RC %P 74-75 %8 09/1985