Verifying a Distributed List System: a Case HistoryAuthorsS. Krogdahl and O. LysneStatusPublishedPublication typeJournal ArticleYear of publication1997JournalFormal Aspects of ComputingPublisher-Citation key10969Google Scholar BibTex