Verifying a Distributed List System: a Case History

Verifying a Distributed List System: a Case History

Authors: S. Krogdahl and O. Lysne
Status: Published
Publication type: Journal Article
Year of publication: 1997
Journal: Formal Aspects of Computing
Publisher: -
Citation key: 10969

Google Scholar BibTex