scientific article
From MaRDI portal
Publication:2723913
zbMath0964.68555MaRDI QIDQ2723913
Publication date: 8 July 2001
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) Logic programming (68N17)
Related Items
Query-Based Model Checking of Ad Hoc Network Protocols, Superposition as a decision procedure for timed automata, Reachability relations of timed pushdown automata, An Assertional Language for the Verification of Systems Parametric in Several Dimensions
