OpenAlex | A Temporal Logic of Nested Calls and Returns

A Temporal Logic of Nested Calls and Returns

Work

Year: 2004

Type: book-chapter

Source: Lecture notes in computer science

Authors Rajeev Alur, Kousha Etessami, P. Madhusudan

Institutions California University of Pennsylvania, University of Edinburgh

Cites: 38

Cited by: 3,353

Related to: 10

FWCI: 184.9

Citation percentile (by year/subfield): 98.5

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Sustainable Development Goal Peace, justice, and strong institutions

Open Access status: closed