Search Sciweavers | Sciweavers

12981 search results - page 274 / 2597

» Model Checking (Abstract)

Voted

SAS
2005
Springer

117views Formal Methods» more SAS 2005»

15 years 9 months ago

Sebastian Hunt, Isabella Mastroeni

claim paper

Read More »

Voted

MM
2004
ACM

114views Multimedia» more MM 2004»

15 years 9 months ago

Byunghee Jung, Tae-Yeong Kwak, Junehwa Song, Yoon-...

claim paper

Read More »

Voted

ATVA
2004
Springer

106views Hardware» more ATVA 2004»

15 years 9 months ago

Serge Haddad, Jean-Michel Ilié, Kais Klai

claim paper

Read More »

116

ICESS
2004
Springer

114views Software Engineering» more ICESS 2004»

15 years 9 months ago

Bjarne Stroustrup

claim paper

Read More »

Voted

MDAFA
2004
Springer

103views Hardware» more MDAFA 2004»

15 years 9 months ago

Sciweavers