Protocol Validation Using a Pumping-Base Approach
Resource
Proceedings of the IEEE 15th International Computer Software & Applications Conference, p.339-344
Journal
IEEE 15th International Computer Software & Applications Conference
Pages
339-344
Date Issued
1991
Date
1991
Author(s)
Type
conference paper