IPM - Institute for Research in Fundamental Sciences

“School of Computer Science”

Paper IPM / Computer Science / 10881

School of Computer Science

Title:

Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol

Author(s):

Status:

Published

Journal:

Journal of Universal Computer Science

No.:

Vol.:

Year:

2007

Pages:

2076-2104

Supported by:

IPM

Abstract:

Download TeX format