scientific article

zbMath0972.68011MaRDI QIDQ2702601

Ingo Dahn, Johann Schumann

Publication date: 12 March 2001

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

zbMATH Keywords

automated theorem proversprotocol verification

Mathematics Subject Classification ID

Network protocols (68M12) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Unnamed Item

This page was built for publication: