Sciweavers

10447 search results - page 139 / 2090
» The Philosophy of Computer Science
Sort
View
RTA
1999
Springer
15 years 10 months ago
Jeopardy
Nachum Dershowitz, Subrata Mitra
SPIN
1999
Springer
15 years 10 months ago
Analyzing Mode Confusion via Model Checking
Gerald Lüttgen, Victor Carreño