scientific article
From MaRDI portal
Publication:3111974
zbMath1231.68059MaRDI QIDQ3111974
Ion Bica, Mihai-Lica Pura, Victor-Valeriu Patriciu
Publication date: 13 January 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)
Uses Software
This page was built for publication:
