Corresponding author: Hossein Hojjat ( h.hojjat@ece.ut.ac.ir ) © Hossein Hojjat, Hootan Nakhost, Marjan Sirjani. This article is freely available under the J.UCS Open Content License. Citation:
Hojjat H, Nakhost H, Sirjani M (2007) Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP). JUCS - Journal of Universal Computer Science 13(13): 2076-2104. https://doi.org/10.3217/jucs-013-13-2076 |