Steffen, Bernhard
- Microscopic insights into pedestrian motion through a bottleneck, resolving spatial and temporal variations
2011/05/08 by Liddle, Jack, Seyfried, Armin, Steffen, Bernhard +4 · 1 citation
#FOS: Physical sciences #Physics and Society (physics.soc-ph)
- Second-Order Value Numbering
2015/11/03 by Tiziana Margaria, Margaria, Tiziana, Bernhard Steffen +3 · 2 citations
Computer Science · Engineering · #Formal Methods in Verification #Radiation Effects in Electronics #VLSI and Analog Circuit Testing