Sciweavers

12766 search results - page 235 / 2554
» collective
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