EmergenTheta: Experimental Analyses within the Theta Framework (Competition Contribution).

Miln Mondok, Csand Telbisz, Levente Bajczi, Dniel Kovcs, Mihly Dobos-Kovcs, Vince Molnr

Browse the full TACAS paper archive.