scientific article; zbMATH DE number 5044575

MaRDI QIDQ5481211zbMATH OpenFDO

Authors Jochen Klose

Publication date 8 August 2006

Mathematics Subject Classification ID

Models of societies, social and urban evolution (91D10) Social networks; opinion dynamics (91D30)

Cited in

(2)

• Verifying Communication Protocols Using Live Sequence Chart Specifications
• Scenario-based verification of real-time systems using UPPAAL

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 Q5481211)