scientific article
From MaRDI portal
Publication:2754093
zbMath0974.68520MaRDI QIDQ2754093
K. L. McMillan, James B. Saxe, Shaz Qadeer
Publication date: 17 December 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
An automatic abstraction technique for verifying featured, parameterised systems ⋮ An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets ⋮ Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems ⋮ Automated formal analysis and verification: an overview
Uses Software
This page was built for publication:
