Search Sciweavers | Sciweavers

2875 search results - page 176 / 575

» Model checking agentspeak

ICALP
1993
Springer

78views Programming Languages» more ICALP 1993»

15 years 7 months ago

Hardi Hungar, Bernhard Steffen

claim paper

Read More »

click to vote

LFCS
1994
Springer

123views Artificial Intelligence» more LFCS 1994»

15 years 7 months ago

Henrik Reif Andersen

claim paper

Read More »

103

LICS
1992
IEEE

78views Automated Reasoning» more LICS 1992»

15 years 7 months ago

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifak...

claim paper

Read More »

click to vote

POPL
1992
ACM

93views Programming Languages» more POPL 1992»

15 years 7 months ago

Edmund M. Clarke, Orna Grumberg, David E. Long

claim paper

Read More »

click to vote

DAC
1990
ACM

86views Computer Architecture» more DAC 1990»

15 years 7 months ago

Sciweavers