OKlibrary

MaRDI QIDQ40330swMATHFDO

Official website https://pdfs.semanticscholar.org/7f4e/b26ba199084ae2b70782ac788670a5505205.pdf

Cited in

(2)

• On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
• Automated Verification of Signalling Principles in Railway Interlocking Systems

This page was built for software: OKlibrary