scientific article; zbMATH DE number 1332664

DOI10.4086/CJTCS.1996.001zbMATH Open0924.68123OpenAlexW4245821747MaRDI QIDQ4259985FDOQ4259985

Authors: Moshe Y. Vardi 

Publication date: 8 September 1999

Published in: Chicago Journal of Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4086/cjtcs.1996.001

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

zbMATH Keywords

concurrent-program verification

Mathematics Subject Classification ID

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

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