Industrial TLA+ Practice

This site supports the transparency of our paper submission to iFM2024 by providing:

• the 290 optimistically found papers as xlsx-file
• the 16 accepted high affinity papers as bib-file