scientific article; zbMATH DE number 2111736

zbMath1094.68524MaRDI QIDQ4825545

Henrik Pilegaard, Robin S. Sharp, Michael R. Hansen

Publication date: 28 October 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modellinginterval logicneighbourhood logic

Mathematics Subject Classification ID

Network protocols (68M12)

Uses Software

• Isabelle/HOL