scientific article
From MaRDI portal
Publication:2848464
zbMath1272.68064MaRDI QIDQ2848464
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050401
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Reliability, testing and fault tolerance of networks and computer systems (68M15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
On the Completeness of Spider Diagrams Augmented with Constants ⋮ Automated theorem proving in Euler diagram systems ⋮ Efficient on-line algorithms for Euler diagram region computation ⋮ A graph theoretic approach to general Euler diagram drawing
This page was built for publication:
