On the decidability of the existence of polyhedral invariants in transition systems
Monniaux, DavidLanguage:
english
Journal:
Acta Informatica
DOI:
10.1007/s00236-018-0324-y
Date:
May, 2018
File:
PDF, 358 KB
english, 2018