Publication:2763963
From MaRDI portal
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
68U99: Computing methodologies and applications
68Q65: Abstract data types; algebraic specification
03B50: Many-valued logic
Related Items
A framework for compositional verification of multi-valued systems via abstraction-refinement, Data structures for symbolic multi-valued model-checking, 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, Latticed Simulation Relations and Games, Don’t Know for Multi-valued Systems