A Strategy for Verification of Decomposable SCR Models.

Dejan Desovski Bojan Cukic A Strategy for Verification of Decomposable SCR Models. 11-18 2006 conf/prdc/2006 PRDC http://doi.ieeecomputersociety.org/10.1109/PRDC.2006.16 db/conf/prdc/prdc2006.html#DesovskiC06