Show simple item record

Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving

dc.contributor.authorNe Win, Tohen_US
dc.contributor.authorErnst, Michael D.en_US
dc.date.accessioned2023-03-29T15:35:26Z
dc.date.available2023-03-29T15:35:26Z
dc.date.issued2002-05
dc.identifier.urihttps://hdl.handle.net/1721.1/149943
dc.relation.ispartofseriesMIT-LCS-TR-841
dc.titleVerifying Distributed Algorithms via Dynamic Analysis and Theorem Provingen_US


Files in this item

Thumbnail
Name:
MIT-LCS-TR-841.pdf
Size:
301.0Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record