Temporal logics for concurrent recursive programs: satisfiability and model checking
scientific article; zbMATH DE number 6371450
scientific article