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 8 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