Searching for "Verifying a Distributed List System A Case History." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Verifying a Distributed List System: A Case History
by Stein Krogdahl, Olav Lysne — 1997 — Formal Aspects of Computing
…Formal Aspects of Computing (1997) 3: 1{000 c 1997 BCS Verifying a Distributed List System: A Case…
Cited by 4 (0 self) – Add To MetaCart

Equipment requirements for Network research at the . . .
by Haakon Bryhni, Bin Wu, Initial Studies, Sci Lan In, David B. Gustavson, David V. James, Hans Wiggers, A Ram, Formal Specification, Verification Of, Stein Gjessing, Stein Gjessing, Stein Gjessing, Stein Krogdahl, Stein Krogdahl, Ellen Munthe-kaas, Ellen Munthe-kaas, Sci Cache — 1997
… distributed list system: A Case History. In Formal Aspects of Computing , 9:98-118, 1997. 6. Olav Lysne and S…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB