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
Journal Article
Year of Publication
1997
Journal
Formal Aspects of Computing
Volume
9
Pagination
98-118,
Citation Key
ND.4.Krogdahl.1997
Google Scholar
BibTeX