scientific article; zbMATH DE number 2088755

zbMATH Open1046.68673MaRDI QIDQ3045457FDOQ3045457

Maurizio Panti, Massimo Benerecetti, Simone Tacconi, Luca Spalazzi

Publication date: 12 August 2004

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

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1538052
• scientific article; zbMATH DE number 1759731
• Logics in Artificial Intelligence
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• Symbolic Model Checking Commitment Protocols Using Reduction

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• An extension of protocol verification modal logic to multi-channel protocols

Uses Software

• GOLOG

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3045457)