Patrick Krämer, Oliver Zeidler, Philip Diederich, Johannes Zerwas, Andreas Blenk, Wolfgang Kellerer. Mistill: Distilling Distributed Network Protocols From Examples. IEEE Transactions on Network and Service Management, 20(4):4110-4125, December 2023. [doi]
Abstract is missing.