scientific article
From MaRDI portal
Publication:2763963
zbMath0977.68704MaRDI QIDQ2763963
Steve Easterbrook, Marsha Chechik, Victor Petrovykh
Publication date: 22 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2021/20210072
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Abstract data types; algebraic specification (68Q65) Many-valued logic (03B50)
Related Items (7)
Data structures for symbolic multi-valued model-checking ⋮ Latticed Simulation Relations and Games ⋮ Quantitative model checking of linear-time properties based on generalized possibility measures ⋮ Computation tree logic model checking based on multi-valued possibility measures ⋮ Model checking of linear-time properties in multi-valued systems ⋮ Don’t Know for Multi-valued Systems ⋮ A framework for compositional verification of multi-valued systems via abstraction-refinement
This page was built for publication:
