Results 261 to 262 of about 39,507 (262)
Some of the next articles are maybe not open access.

Janus: A novel use of Formal Verification for targeted behavioral equivalence

2008
exaly  

2 Thematic and Formal Equivalence

openaire   +1 more source
fos: computer and information sciences
fos: physical sciences
fos: mathematics
logic in computer science cs.lo
4. education
formal languages and automata
16. peace & justice
high energy physics - theory hep-th
computer science - logic in computer science
previous   25  26  27  

Home - About - Disclaimer - Privacy