• Current Limits for Exploiting...

*Result*: Current Limits for Exploiting Automated Verification

Title:
Current Limits for Exploiting Automated Verification
Parallel and distributed processing techniques and applications
Authors:
Zakiuddin, I.
Source:
PDPTA -INTERNATIONAL CONFERENCE-. 1:312-318
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN034976417&indx=1&recIds=ETOCCN034976417
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings