Introduction to Model Checking: Regular Properties, Omega-Regular Properties

Introduction to Model Checking: Regular Properties, Omega-Regular Properties (Di, 15.11.2011)