AuthorsS. Krogdahl and O. Lysne
TitleVerifying a Distributed List System: a Case History
StatusPublished
Publication TypeTechnical reports
Year of Publication1993
Number182
PublisherDepartment of Informatics, University of Oslo
Citation KeyND.7.Lysne.1993