research
∙
11/29/2022
Branch-Well-Structured Transition Systems and Extensions
We propose a relaxation to the definition of a well-structured transitio...
research
∙
05/14/2021