Searching for "Computer-Assisted Verification of an Algorithm for Concurrent Timestamps." – 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.

Computer-Assisted Verification of an Algorithm for Concurrent Timestamps
by Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch — 1996 — Formal Description Techniques IX: Theory, Applications, and Tools (FORTE/PSTV'96: Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification
…Computer-Assisted Verification of an Algorithm for Concurrent Timestamps Tsvetomir P. Petrov, Anna…
Cited by 7 (4 self) – Add To MetaCart

Classified Larch Bibliography
by Stephen J. Garland, Jeannette M. Wing, Amy Moormann, Zaremski Unintrusive, W. J. Toetenel, Vdm Formal, Software Development Methods, Department Of Electrical, Mark T. V, Specification-based Analysis — 1996
… A. Lynch. Computer-assisted verification of an algorithm for concurrent timestamps. In Reinhard…
Add To MetaCart

Showing 1 through 2.

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