Sciweavers

17298 search results - page 118 / 3460
» Abstract computing machines
Sort
View
71
Voted
GI
2007
Springer
15 years 7 months ago
Executing Abstract Test Cases
Bernhard Peischl, Martin Weiglhofer, Franz Wotawa
97
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
Abstract Counterexample-Based Refinement for Powerset Domains
Roman Manevich, John Field, Thomas A. Henzinger, G...
81
Voted
CG
2006
Springer
15 years 7 months ago
Abstracting Knowledge from Annotated Chinese-Chess Game Records
Bo-Nian Chen, Pangfeng Liu, Shun-chin Hsu, Tsan-sh...