scientific article; zbMATH DE number 1324666

zbMath0920.68076MaRDI QIDQ4255570

S. V. A. Campos, M. Minea, Andreas Kuehlmann, Marcio Teixeira, Edmund M. Clarke

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.008

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

zbMATH Keywords

symbolic model checking

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Efficient timed model checking for discrete-time systems

This page was built for publication: