Mistill: Distilling Distributed Network Protocols From Examples

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]

@article{KramerZDZBK23,
  title = {Mistill: Distilling Distributed Network Protocols From Examples},
  author = {Patrick Krämer and Oliver Zeidler and Philip Diederich and Johannes Zerwas and Andreas Blenk and Wolfgang Kellerer},
  year = {2023},
  month = {December},
  doi = {10.1109/TNSM.2023.3263529},
  url = {https://doi.org/10.1109/TNSM.2023.3263529},
  researchr = {https://researchr.org/publication/KramerZDZBK23},
  cites = {0},
  citedby = {0},
  journal = {IEEE Transactions on Network and Service Management},
  volume = {20},
  number = {4},
  pages = {4110-4125},
}