Search Sciweavers | Sciweavers

714 search results - page 22 / 143

» Certifying Model Checkers

125

CAV
2005
Springer

120views Hardware» more CAV 2005»

15 years 8 months ago

Håkan L. S. Younes

claim paper

Read More »

click to vote

ATVA
2004
Springer

106views Hardware» more ATVA 2004»

15 years 8 months ago

Serge Haddad, Jean-Michel Ilié, Kais Klai

claim paper

Read More »

click to vote

CAV
2004
Springer

97views Hardware» more CAV 2004»

15 years 8 months ago

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jak...

claim paper

Read More »

click to vote

ISOLA
2004
Springer

84views Formal Methods» more ISOLA 2004»

15 years 8 months ago

Martijn Hendriks, Barend van den Nieuwelaar, Frits...

claim paper

Read More »

click to vote

JELIA
2004
Springer

133views Artificial Intelligence» more JELIA 2004»

15 years 8 months ago

Sciweavers