Publication:2769604
From MaRDI portal
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
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
03B50: Many-valued logic
03B44: Temporal logic
Related Items
Bounded Model Checking for Partial Kripke Structures, Data structures for symbolic multi-valued model-checking, Latticed Simulation Relations and Games, A Direct Algorithm for Multi-valued Bounded Model Checking