This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. For example, biological cells,... Læs mere
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. For example, biological cells,... Læs mere