TU Darmstadt / ULB / TUbiblio

The Framework of Selective Interleaving Functions and the Modular Assembly Kit

Mantel, Heiko (2005):
The Framework of Selective Interleaving Functions and the Modular Assembly Kit.
In: FMSE'05: 3rd ACM Workshop on Formal Methods for Security Engineering: From Specifications to Code, ACM, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2005
Creators: Mantel, Heiko
Title: The Framework of Selective Interleaving Functions and the Modular Assembly Kit
Language: ["languages_typename_1" not defined]
Title of Book: FMSE'05: 3rd ACM Workshop on Formal Methods for Security Engineering: From Specifications to Code
Publisher: ACM
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Date Deposited: 31 Dec 2016 09:57
Identification Number: mantel:framework:2005
Export:

Optionen (nur für Redakteure)

View Item View Item