scientific article
From MaRDI portal
Publication:2848424
zbMath1272.68278MaRDI QIDQ2848424
No author found.
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610500246X
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Translating FSP into LOTOS and networks of automata ⋮ On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP
This page was built for publication:
