scientific article
From MaRDI portal
Publication:2842857
zbMath1270.68377MaRDI QIDQ2842857
Howard Barringer, Cornelia P. Inggs
Publication date: 16 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105803950
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms (68W40) Network design and communication in computer systems (68M10) Formal languages and automata (68Q45) Parallel algorithms in computer science (68W10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication:
