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

Miln Mondok, Levente Bajczi, Dniel Szekeres, Vince Molnr

Browse the full TACAS paper archive.