Decomposition of LTL specifications via formal concurrency relations in Bchi automata.

Ioana Hustiu, Marius Kloetzer, Cristian Mahulea

Browse the full ETFA paper archive.