scientific article
From MaRDI portal
Publication:2845488
zbMath1271.68142MaRDI QIDQ2845488
No author found.
Publication date: 30 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105800933
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Parallel algorithms in computer science (68W10) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (1)
This page was built for publication:
