scientific article; zbMATH DE number 1852148
From MaRDI portal
Publication:4787214
zbMath1002.68509MaRDI QIDQ4787214
Publication date: 9 January 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2144/21440071
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (2)
\(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes ⋮ Using heuristic search for finding deadlocks in concurrent systems
Uses Software
This page was built for publication:
