scientific article; zbMATH DE number 1059327

zbMATH Open0882.68089MaRDI QIDQ4353634

Madhavan Mukund, P. S. Thiagarajan

Publication date: 10 September 1997

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

zbMATH Keywords

distributed systemsmodel checkingtemporal logics

Mathematics Subject Classification ID

Could not fetch data.

Related Items (3)

Title not available (Why is that?) ⋮ CONCUR 2005 – Concurrency Theory ⋮ Algebraic Methodology and Software Technology

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