Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Hossein Hojjat
University of Tehran, Iran

H. Hojjat, H. Nakhost, M. Sirjani:
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
/jucs_13_13/integrating_module_checking_and
page 2076 - 2104
Vol.13 / Issue 13