OKlibrary

swMATH28616MaRDI QIDQ40330FDOQ40330

Author name not available (Why is that?)

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