Home
Home
Search
Open menu
About
Research
Education
Innovation
Careers
More
Search
About
Toggle About navigation
Organisation
Leadership
Simula Culture
Simula Awards
Milestones
People
News
Research
Toggle Research navigation
Research Areas
Research Departments
Publications
Contract research
Projects
Education
Toggle Education navigation
Simula Academy
Courses & summer schools
Master's students
PhD candidates
Researcher training
Research exchanges
Innovation
Toggle Innovation navigation
Simula Innovation
Simula Consulting
Careers
Toggle Careers navigation
Summer internships
Professional development
Job openings
publications
Verifying a Distributed List System: a Case History
Verifying a Distributed List System: a Case History
Authors
S. Krogdahl
and
O. Lysne
Status
Published
Publication type
Journal Article
Year of publication
1997
Journal
Formal Aspects of Computing
Publisher
–
Citation key
10969
Google Scholar
BibTex