scientific article; zbMATH DE number 1332664

DOI10.4086/CJTCS.1996.001MaRDI QIDQ4259985zbMATH OpenOpenAlexFDO

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

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)