Verifying a Distributed List System: a Case HistoryAuthorsS. Krogdahl and O. LysneStatusPublishedPublication typeTechnical ReportsYear of publication1993Journal-PublisherDepartment of Informatics, University of OsloCitation key12999Google Scholar BibTex