Search Sciweavers | Sciweavers

14704 search results - page 84 / 2941

» computing 2007

LPAR
2007
Springer

114views Automated Reasoning» more LPAR 2007»

15 years 8 months ago

Pietro Abate, Rajeev Goré, Florian Widmann

claim paper

Read More »

Voted

OR
2007
Springer

143views Operations Research» more OR 2007»

15 years 8 months ago

Frank Noé, Marcus Oswald, Gerhard Reinelt

claim paper

Read More »

Voted

SAS
2007
Springer

80views Formal Methods» more SAS 2007»

15 years 8 months ago

Eric Goubault, Sylvie Putot

claim paper

Read More »

Voted

SAT
2007
Springer

68views Hardware» more SAT 2007»

15 years 8 months ago

Alessandro Cimatti, Alberto Griggio, Roberto Sebas...

claim paper

Read More »

Voted

TARK
2007
Springer

79views Automated Reasoning» more TARK 2007»

15 years 8 months ago

Sciweavers