scientific article; zbMATH DE number 1956587

zbMath1031.68546MaRDI QIDQ4417931

Paweł Janowski, Andrzej Zbrzezny, Agata Półrola, Agata Janowska, Wojciech Penczek, Piotr Dembinski, Bożena Woźna, MacIej Szreter

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190278.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Specification and Verification of Multi-Agent Systems ⋮ Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ Model Checking Real-Time Systems ⋮ Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic

Uses Software

• SPIN
• NuSMV
• Verics

This page was built for publication: