Publication:2848424
From MaRDI portal
zbMath1272.68278MaRDI QIDQ2848424
No author found.
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610500246X
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
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