Sciweavers

17298 search results - page 139 / 3460
» Abstract computing machines
Sort
View
PODC
1996
ACM
15 years 10 months ago
Automated Logical Verification Based on Trace Abstractions
95-53Klarlundetal.:AutomatedLogicalVerificationbasedonTraceAbstractions BRICSBasic Research in Computer Science Automated Logical Verification Trace Abstractions Nils Klarlund Moge...
Nils Klarlund, Mogens Nielsen, Kim Sunesen
SOFSEM
2009
Springer
16 years 3 months ago
Abstract Storage Devices
Storage Devices Robert K¨onig Ueli Maurer Stefano Tessaro SOFSEM 2009 January 27, 2009
Robert König, Ueli M. Maurer, Stefano Tessaro
TAICPART
2006
IEEE
183views Education» more  TAICPART 2006»
16 years 12 days ago
AutoAbstract: Problem Statement and Hypothetical Solutions
ract: Problem Statement and Hypothetical Solutions Shaukat Ali Verification and Testing Group (VT) Department of Computer Science University of Sheffield
Shaukat Ali