Results 261 to 268 of about 1,197,742 (268)
Some of the next articles are maybe not open access.

Model checking

1983
P. McCullagh, J. A. Nelder
openaire   +1 more source

Communicative commitments: Model checking and complexity analysis

Knowledge-Based Systems, 2012
Jamal Bentahar   +2 more
exaly  

Model checking and abstraction

ACM Transactions on Programming Languages and Systems, 1994
exaly  

Model checking

2013
openaire   +1 more source

Model checking

1991
openaire   +1 more source

Symmetry and model checking

Formal Methods in System Design, 1996
exaly  

Model checking

2002
openaire   +1 more source

Model Checking

1993
openaire   +1 more source
mathematics
computer science - logic in computer science
formal verification
fos: computer and information sciences
d.2.4
model-checking
rule checking
f.1.1
previous   25  26  27  

Home - About - Disclaimer - Privacy