scientific article
From MaRDI portal
Publication:2722072
zbMath0966.68122MaRDI QIDQ2722072
Publication date: 11 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Abstraction and Abstraction Refinement ⋮ Smaller Abstractions for ∀CTL* without Next ⋮ Abstracting and Verifying Strategy-Proofness for Auction Mechanisms ⋮ Internal and External Logics of Abstract Interpretations
This page was built for publication:
