Model checking is a computer-assisted method for the analysis of dynamical systems that can be...

Model checking is a technique for verifying finite state concurrent systems such as sequential ci...

Model checking is a computer-assisted method for the analysis of dynamical systems that can be mo...

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ersho...

This book constitutes the thoroughly refereed post-conference proceedings of the 16th Internation...

Cultivate an interest in the agricultural sector with a three-level secondary course designed spe...

Cultivate an interest in the agricultural sector with a three-level secondary course designed spe...

Model checking is a technique for verifying finite state concurrent systems such as sequential ci...

This scarce antiquarian book is a facsimile reprint of the original. Due to its age, it may conta...