scientific article
From MaRDI portal
Publication:2769604
zbMath0978.68542MaRDI QIDQ2769604
Steve Easterbrook, Marsha Chechik, Benet Devereux
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310404
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Many-valued logic (03B50) Temporal logic (03B44)
Related Items (4)
Data structures for symbolic multi-valued model-checking ⋮ Latticed Simulation Relations and Games ⋮ A Direct Algorithm for Multi-valued Bounded Model Checking ⋮ Bounded Model Checking for Partial Kripke Structures
This page was built for publication:
