scientific article
From MaRDI portal
Publication:2753757
zbMath0976.68554MaRDI QIDQ2753757
Publication date: 6 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Learning of event-recording automata, Syntax-directed model checking of sequential programs, Network event recognition, Verifying time partitioning in the DEOS scheduling kernel
Uses Software