Verifying a Distributed List System: a Case History

By thinking constantly about it…

Search form

Search

Authors	S. Krogdahl and O. Lysne
Title	Verifying a Distributed List System: a Case History
Status	Published
Publication Type	Technical reports
Year of Publication	1993
Number	182
Publisher	Department of Informatics, University of Oslo
Citation Key	ND.7.Lysne.1993

Kristian Augusts gate 23
0164 Oslo

Pilestredet 52
0167 Oslo

Thormøhlens gate 53D
5006 Bergen

Facebook LinkedIn Twitter