Sciweavers

3281 search results - page 51 / 657
» Bases for parametrized iterativity
Sort
View
DATE
2000
IEEE
76views Hardware» more  DATE 2000»
15 years 4 months ago
Iterative Abstraction-Based CTL Model Checking
Jae-Young Jang, In-Ho Moon, Gary D. Hachtel
CIKM
1998
Springer
15 years 4 months ago
Iterated DFT Based Techniques for Join Size Estimation
Kamil Saraç, Ömer Egecioglu, Amr El Ab...