Sciweavers

31387 search results - page 138 / 6278
» Abstracts
Sort
View
FSEN
2007
Springer
15 years 8 months ago
Slicing Abstractions
Ingo Brückner, Klaus Dräger, Bernd Finkb...
114
Voted
FSEN
2007
Springer
15 years 8 months ago
Action Abstraction in Timed Process Algebra
Michel A. Reniers, Muck van Weerdenburg
HYBRID
2007
Springer
15 years 8 months ago
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction
Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, ...