Search Sciweavers | Sciweavers

2875 search results - page 179 / 575

» Model checking agentspeak

143

Voted

AGENTCL
2003
Springer

222views Intelligent Agents» more AGENTCL 2003»

Model Checking for ACL Compliance Verification

15 years 7 months ago

Download www.csc.liv.ac.uk

Marc-Philippe Huget, Michael Wooldridge

claim paper

Read More »

112

click to vote

CAV
2001
Springer

100views Hardware» more CAV 2001»

Model Checking the World Wide Web

15 years 7 months ago

Download users.soe.ucsc.edu

Luca de Alfaro

claim paper

Read More »

101

click to vote

AMAST
1995
Springer

114views Software Engineering» more AMAST 1995»

Petri Nets, Traces, and Local Model Checking

15 years 6 months ago

Download www.brics.dk

Allan Cheng

claim paper

Read More »

111

click to vote

TACAS
2000
Springer

96views Algorithms» more TACAS 2000»

On Memory-Block Traversal Problems in Model-Checking Timed-Systems

15 years 6 months ago

Download www.brics.dk

Fredrik Larsson, Paul Pettersson, Wang Yi

claim paper

Read More »

131

click to vote

CONCUR
1995
Springer

140views Distributed And Parallel Com...» more CONCUR 1995»

Compositional Model Checking of Real Time Systems

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers