Sciweavers

9888 search results - page 75 / 1978
» compute 2009
Sort
View
146
Voted
SPIN
2009
Springer
16 years 18 days ago
EMMA: Explicit Model Checking Manager (Tool Presentation)
Radek Pelánek, Václav Rosecký
FDG
2009
ACM
16 years 18 days ago
Plagiarism detection in game-playing software
Paolo Ciancarini, Gian Piero Favini