Jump to navigation
By thinking constantly about it…
G
Search form
Search
Research
Education
Innovation
Home
About Simula
Publications
People
Careers
Contact
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
Google Scholar
BibTeX