book-chapter · 1993
Mechanical verification of concurrent systems with TLA
66 citationsDOI: https://doi.org/10.1007/3-540-56496-9_5Open accessPDF reported by metadataFull text reported by metadata
Article
Article detail, metadata, authors, and available full-text links.
Paper reader
Loading paper...