scientific article; zbMATH DE number 1324653

zbMath0920.68084MaRDI QIDQ4255552

Marta Kwiatkowska, Gethin Norman, Christel Baier

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=22#22003

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

zbMATH Keywords

linear time specifications

Mathematics Subject Classification ID

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

This page was built for publication: