CASED publication
Identifying meaningless parameterized linear-temporal-logic formulas
Eric Bodden
January 2012.
CASED is funded by
Research
Research Areas
Secure Data
Secure Things
Secure Services
Research groups & projects
Find a growing list of CASED affiliated groups and projects
Research topics
Technische Universität Darmstadt
Fraunhofer SIT
University of Applied Sciences
Publications
Software and
Downloads