EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution).

Wed, 01 Jan 2025 00:00:00 +0100

Milán Mondok , Levente Bajczi , Dániel Szekeres , Vince Molnár :
EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution). TACAS (3) 2025: 217-222