Preservation of LTL properties in desynchronized systems.

Yu Bai, Jens Brandt, Klaus Schneider

Browse the full MEMOCODE paper archive.