Search Sciweavers | Sciweavers

5216 search results - page 165 / 1044

» Planning as Model Checking

FOSSACS
2010
Springer

139views Software Engineering» more FOSSACS 2010»

15 years 10 months ago

Stéphane Demri, Arnaud Sangnier

claim paper

Read More »

click to vote

TACAS
2009
Springer

102views Algorithms» more TACAS 2009»

15 years 10 months ago

Viet Yen Nguyen, Theo C. Ruys

claim paper

Read More »

click to vote

DATE
2009
IEEE

101views Hardware» more DATE 2009»

15 years 10 months ago

Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marc...

claim paper

Read More »

105

EUROMICRO
2009
IEEE

164views Software Engineering» more EUROMICRO 2009»

15 years 10 months ago

Carlos Noguera, Frédéric Loiret

claim paper

Read More »

Voted

IPPS
2009
IEEE

109views Distributed And Parallel Com...» more IPPS 2009»

15 years 9 months ago

Sciweavers