![](/img/cover-not-exists.png)
Interleaving Based Model Checking of Concurrency and Causality
Wolf, Karsten, van der Aalst, Wil, Best, Eike, Penczek, WojciechVolume:
161
Language:
english
Journal:
Fundamenta Informaticae
DOI:
10.3233/FI-2018-1709
Date:
July, 2018
File:
PDF, 1.91 MB
english, 2018