Resources

Model Checking Software

Author : Havelund 

Springer

Access online

Model Checking Software

Author : Păsăreanu 

Springer

Access online

Micro-ISV

Author : Walsh 

Springer

Access online

Model Checking Software

Author : Pol 

Springer

Access online

Micro-Macro-interaction

Author : Bertram 

Springer

Access online

Model Checking Software

Author : Groce 

Springer

Access online

Micro-Organisms in Foods 6

Author : Roberts{roJoint Chairman} 

Springer

Access online

Model Checking Software

Author : Donaldson 

Springer

Access online

Model Checking Software

Author : Bartocci 

Springer

Access online

Microarrays

Author : Dill 

Springer

Access online