scientific article

zbMath0963.68138MaRDI QIDQ2709226

Carron Shankland, Savi Maharaj

Publication date: 10 May 2001

Full work available at URL: http://www.jucs.org/jucs_6_11/a_survey_of_formal

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

zbMATH Keywords

formal specification techniques

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (1)

Fast leader election in anonymous rings with bounded expected delay

Uses Software

• Uppaal2k

This page was built for publication: