scientific article; zbMATH DE number 1863178
From MaRDI portal
Publication:4791849
zbMath1006.68085MaRDI QIDQ4791849
Victor Petrovykh, Steve Easterbrook, Benet Devereux, Marsha Chechik, Albert Lai
Publication date: 3 February 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2154/21540441.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Data structures for symbolic multi-valued model-checking ⋮ A Direct Algorithm for Multi-valued Bounded Model Checking ⋮ On lattice valued up-sets and down-sets ⋮ A priority-based negotiations approach for handling inconsistencies in multi-perspective software requirements ⋮ Structures of compactly generated lattices described by cut sets of \(L\)-valued sets
