Sciweavers

31387 search results - page 307 / 6278
» Abstracting abstract machines
Sort
View
DAGSTUHL
2006
15 years 8 months ago
06391 Abstracts Collection -- Algorithms and Complexity for Continuous Problems
Stephan Dahlke, Klaus Ritter, Ian H. Sloan, Joseph...
DAGSTUHL
2006
15 years 8 months ago
06172 Abstracts Collection -- Directed Model Checking
Stefan Edelkamp, Stefan Leue, Willem Visser