OKlibrary

swMATH28616MaRDI QIDQ40330FDOQ40330

Author name not available (Why is that?)

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