scientific article
From MaRDI portal
Publication:2917406
DOI10.4230/OASICS.TRUSTWORTHYSW.2006.700zbMath1247.68241MaRDI QIDQ2917406
Julien Schmaltz, Dominique Borrione
Publication date: 28 September 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Proof pearl: a formal proof of Dally and Seitz' necessary and sufficient condition for deadlock-free routing in interconnection networks ⋮ A functional formalization of on chip communications
Uses Software
This page was built for publication:
