scientific article
From MaRDI portal
Publication:2848665
zbMath1272.68234MaRDI QIDQ2848665
Gianfranco Ciardo, Ming-Ying Chung
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000806
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pattern recognition, speech recognition (68T10) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)
This page was built for publication:
