Model-Based Verification Methods and Tools (Abstract).

Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone

Browse the full CONCUR paper archive.