@Article{ GONZALEZ_MANNION:211-224,

author = { ELENA GONZALEZ ROJO and MIKE MANNION } ,

title = { THEOREM PROVING FOR PRODUCT LINE MODEL VERIFICATION },

journal = { LECTURE NOTES IN COMPUTER SCIENCE },

year = { 2004 },

volume = { 3014 },

issn = { 0302-9743 },

pages = { 211-224 },

doi = { http://www.springerlink.com/content/m0k40djlmmxx8vtp/?p=3c0906d372184bd9880b0bc656d92da4&pi=0 },

}