A Toolbox for the Verification of LOTOS Programs (1992)

Download From

IEEE
Download from IEEE

Download Links

by Jean-Claude Fernandez , Hubert Garavel , Laurent Mounier , Anne Rasse , Carlos Rodriguez , Joseph Sifakis
Citations:33 - 4 self