scientific article; zbMATH DE number 1324667

zbMath0920.68083MaRDI QIDQ4255572

Henrik Reif Andersen, Jesper Møller, Henrik Hulgaard, Jakob Lichtenberg

Publication date: 17 August 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=23&iss=2#23.2.009

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

zbMATH Keywords

difference decision diagrams

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Symbolic model checking of timed guarded commands using difference decision diagrams

Uses Software

• Kronos
• Uppaal

This page was built for publication: