TU Darmstadt / ULB / TUbiblio

Identifying meaningless parameterized linear-temporal-logic formulas

Bodden, Eric (2012):
Identifying meaningless parameterized linear-temporal-logic formulas.
[Report]

Item Type: Report
Erschienen: 2012
Creators: Bodden, Eric
Title: Identifying meaningless parameterized linear-temporal-logic formulas
Language: English
Divisions: Zentrale Einrichtungen
LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
20 Department of Computer Science > EC SPRIDE
20 Department of Computer Science > EC SPRIDE > Secure Software Engineering
LOEWE
20 Department of Computer Science
LOEWE > LOEWE-Zentren
Date Deposited: 21 Feb 2012 13:47
Identification Number: TUD-CS-2012-0014
Export:

Optionen (nur für Redakteure)

View Item View Item