Stephan Holzner

According to our database, Stephan Holzner authored at least 2 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

PJBDD: A BDD Library for Java and Multi-Threading.

Dirk Beyer, Karlheinz Friedberger, Stephan Holzner

Proceedings of the Automated Technology for Verification and Analysis, 2021

2017

Empirical Evaluation of a Distributed Deployment Strategy for Virtual Networks.

Carsten Hahn, Stephan Holzner, Lenz Belzner, Michael Till Beck

Proceedings of the Mobile, Secure, and Programmable Networking, 2017