Cover Image
Read Now

1
Published 2021
Springer International Publishing
Table of Contents: “... of Interval Markov Chains -- Regular Model Checking: Evolution and Perspectives -- Regular Model Checking...”