Sebastian Post

According to our database, Sebastian Post authored at least 1 paper in 2021.

Collaborative distances:

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

2021

APPEL - AGILA ProPErty and Dependency Description Language.

Christoph Grimm, Frank Wawrzik, Alexander Louis-Ferdinand Jung, Konstantin Lübeck, Sebastian Post, Johannes Koch, Oliver Bringmann

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2021