Protocol Verification via Projections

From MaRDI portal
Publication:3345755

DOI10.1109/TSE.1984.5010246zbMath0552.68022OpenAlexW2039853888MaRDI QIDQ3345755

Simon S. Lam, A. Udaya Shankar

Publication date: 1984

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1984.5010246



Related Items