Items where Author / Artist / Editor is "Helke, Steffen"

See full list of headings
Export as [feed] Atom [feed] RSS 1.0
Group by: Item Type | No Grouping
Number of items: 2.


Helke, Steffen and Kammueller, Florian (2010) Formalizing statecharts using hierarchical automata. Archive of Formal Proof . ISSN 2150-914X

Conference or Workshop Item

Helke, Steffen and Kammueller, Florian and Probst, Christian (2015) Secure refactoring with Java information flow. In: Data Privacy Management DPM'15, September 21.+22. 2015. (Accepted/In Press)

This list was generated on Sat Nov 28 04:27:49 2015 GMT.