Sciweavers

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