Property verification in the design of telecom applications.

Massimo Bombana, Patrizia Cavalloro, Fabrizio Ferrandi

Browse the full ASPDAC paper archive.