Lars Hupel

Years Active: 2018-2018
Publications (10 Years): 1

Technische Universität München

Technische Universität München (MSC)

This page only lists publications with an associated author ORCID identifier.

Affiliation History

Technische Universität München

Germany

Research Assistant :: Informatik

Education History

Technische Universität München

Germany

MSC :: Informatik

Technische Universität München

Germany

BSC :: Informatik

Publications

Cornelius Diekmann, Lars Hupel, Julius Michaelis, Maximilian Haslbeck, Georg Carle
Verified iptables Firewall Analysis and Verification. Journal of automated reasoning 61 (1) (2018)

Lars Hupel.css-eqlu8i{font-size:small;padding-left:4px;}