scientific article
From MaRDI portal
Publication:2904050
zbMath1254.03032MaRDI QIDQ2904050
Daniel Gorín, Santiago Figueira
Publication date: 5 August 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence ⋮ The succinctness of the cover modality
This page was built for publication:
