Search Sciweavers | Sciweavers

12981 search results - page 214 / 2597

» Model Checking (Abstract)

DDECS
2007
IEEE

103views Hardware» more DDECS 2007»

15 years 9 months ago

Marc Herbstritt, Bernd Becker, Erika Ábrah&...

claim paper

Read More »

click to vote

SOCA
2007
IEEE

107views Applied Computing» more SOCA 2007»

15 years 9 months ago

Domenico Bianculli, Carlo Ghezzi, Paola Spoletini

claim paper

Read More »

102

TIME
2007
IEEE

93views Automated Reasoning» more TIME 2007»

15 years 9 months ago

Ph. Schnoebelen

claim paper

Read More »

click to vote

ATVA
2007
Springer

91views Hardware» more ATVA 2007»

15 years 9 months ago

Gordon J. Pace, Cristian Prisacariu, Gerardo Schne...

claim paper

Read More »

click to vote

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

15 years 9 months ago

Sciweavers