LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems.

Rachel Faran, Orna Kupferman

Browse the full LPAR paper archive.