MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Verification of Parameterized Protocols." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Verification of Parameterized Protocols
by Kai Baukus, Yassine Lakhnech, Karsten Stahl — 2001
…Verication of Parameterized Protocols Kai Baukus (Institute of Computer Science and Applied…
Cited by 10 (0 self) – Add To MetaCart

Automated Inductive Verification of Parameterized Protocols
by Abhik Roychoudhury, I.V. Ramakrishnan — 2001 — In CAV 2001
…Automated Inductive Verication of Parameterized Protocols # Abhik Roychoudhury # and I…
Cited by 5 (1 self) – Add To MetaCart

Formal Verification Of Parameterized Protocols On Branching Networks
by Michael D. Jones, D. Jones, Mark Aagaard, Erik Brunvand, Chris Myers, Gary Lindstrom, Tom Henderson, David S. Chapman — 2001
…FORMAL VERIFICATION OF PARAMETERIZED PROTOCOLS ON BRANCHING NETWORKS by Michael D. Jones A…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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