Formal Modeling and Verification of Systems with Self-x Properties.

Matthias Gdemann, Frank Ortmeier, Wolfgang Reif

Browse the full ATC paper archive.