Tableau methods for formal verification of multi-agent distributed systems
From MaRDI portal
Publication:4209290
DOI10.1093/logcom/8.3.373zbMath0904.68133OpenAlexW2101441790MaRDI QIDQ4209290
Publication date: 27 September 1998
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/8.3.373
Network design and communication in computer systems (68M10) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Uses Software
