Searching for "Mechanical Verification of a Two-Way Sliding Window Protocol." – 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.

Mechanical Verification of a Two-Way Sliding Window Protocol
by Bahareh Badban A, Wan Fokkink A
… Verification of a Two-Way Sliding Window Protocol ��Ò�Ò�ÙÒ��ÓÒ×Ø�ÒÞ��Û�Ò�×ÚÙÒÐ Ú�ÔÓÐ×ÙØÛ�ÒØ�ÒÐ b University…
Add To MetaCart

VRIJE UNIVERSITEIT Verification Techniques for Extensions of Equality Logic
by Bahareh Badban, Academisch Proefschrift, Bahareh Badban
… . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105 II Verification of Protocols 107 6 Mechanical Verification of a Two-Way Sliding Window Protocol…
Add To MetaCart

Showing 1 through 2.

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