Search Sciweavers | Sciweavers

6608 search results - page 56 / 1322

» On the Completeness of Model Checking

ICCAD
1994
IEEE

109views Hardware» more ICCAD 1994»

15 years 8 months ago

Michiko Miura-Mattausch, Ute Feldmann, Alexander R...

claim paper

Read More »

112

CADE
2001
Springer

105views Logical Reasoning» more CADE 2001»

15 years 7 months ago

Jürgen Stuber

claim paper

Read More »

Voted

AAAI
2004

98views Intelligent Agents» more AAAI 2004»

15 years 5 months ago

Carlos Ansótegui, Alvaro del Val, Ivá...

claim paper

Read More »

click to vote

RBAC
1998

49views more RBAC 1998»

15 years 5 months ago

Cheh Goh, Adrian Baldwin

claim paper

Read More »

click to vote

CORR
2010
Springer

50views Education» more CORR 2010»

15 years 4 months ago

Sciweavers