Authors

Philipp Körner, Michael Leuschel

Venue

VSTTE 2022

Bibtex

@inproceedings{por-paper,
  author = {K\"{o}rner, Philipp and Leuschel, Michael},
  title = {{Towards Practical Partial Order Reduction for High-Level Formalisms}},
  year = {2023},
  publisher = {Springer},
  pages        = {72--91},
  Series	= {Lecture Notes in Computer Science},
  Volume	= 13800,
  booktitle = {Proceedings VSTTE (International Conference on Verified Software: Theories, Tools, and Experiments) 2022},
}

Available at:

• Springer (DOI)

About

Related