Sciweavers

10539 search results - page 112 / 2108
» On L
Sort
View
ICCAD
1994
IEEE
70views Hardware» more  ICCAD 1994»
14 years 3 months ago
Iterative algorithms for formal verification of embedded real-time systems
Felice Balarin, Alberto L. Sangiovanni-Vincentelli