Preservation of LTL properties in desynchronized systems

Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) ◽

10.1109/memcod.2012.6292300 ◽

2012 ◽

Author(s):

Yu Bai ◽

Jens Brandt ◽

Klaus Schneider

Download Full-text