Verifying Temporal Properties of CommUnity Designs.

Nazareno Aguirre, Germn Regis, T. S. E. Maibaum

Browse the full IFM paper archive.