Specifying and checking models of satisfaction in temporal logics of programs

Project: Research

Project Details

StatusFinished
Effective start/end date1/08/201031/01/2011