scientific article; zbMATH DE number 2163033
From MaRDI portal
Publication:4673420
zbMath1094.68054MaRDI QIDQ4673420
Jean-Marc Talbot, Iovka Boneva
Publication date: 29 April 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Expressiveness and complexity of graph logic ⋮ Deciding safety properties in infinite-state pi-calculus via behavioural types