Browse by Journal

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors/Editors | Item Type | No Grouping
Jump to: H
Number of items: 2.

H

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

Henrio, Ludovic, Kammueller, Florian, Lutz, Bianca and Sudhof, Henry (2010) Locally nameless sigma calculus. Archive of Formal Proof . ISSN 2150-914X

This list was generated on Tue Jan 28 04:43:11 2020 GMT.