A Temporal Logic of Nested Calls and Returns (2004)

Cached

Download Links

by Rajeev Alur , Kousha Etessami , P. Madhusudan
Citations:54 - 11 self