On Freeze LTL with Ordered Attributes.

Normann Decker, Daniel Thoma

Browse the full FOSSACS paper archive.