Sciweavers

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