scientific article
From MaRDI portal
Publication:2764107
zbMath0977.68625MaRDI QIDQ2764107
Publication date: 22 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2029/20290045
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in artificial intelligence (68T01)
Related Items (3)
Responsiveness and stable revivals ⋮ Refinement-Preserving Plug-In Components ⋮ A hierarchy of failures-based models: theory and application
This page was built for publication:
