Off-the-shelf automated analysis of liveness properties for just paths.
| Autor: | Bouwman, Mark1 (AUTHOR), Luttik, Bas1 (AUTHOR) s.p.luttik@tue.nl, Willemse, Tim1 (AUTHOR) |
|---|---|
| Zdroj: | Acta Informatica. Oct2020, Vol. 57 Issue 3-5, p551-590. 40p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|