AuthorsS. Krogdahl and O. Lysne
TitleVerifying a Distributed List System: a Case History
StatusPublished
Publication TypeJournal Article
Year of Publication1997
JournalFormal Aspects of Computing
Volume9
Pagination98-118,
Citation KeyND.4.Krogdahl.1997