Efficient Checking of Time-Quantified Logic Formulas with Applications in Computer Security [LogicGuard]

Project Lead

Project Duration

01/01/2012 - 31/12/2013

Project URL

Project Website

Publications

Loading…