Practical Considerations in Protocol Verification: The E-2C Case Study

Yifei Dong; Scott A. Smolka; Eugene W. Stark; Stephanie M. White

doi:10.1109/ICECCS.1999.802859

Previous
Next
Table of Contents

Engineering of Complex Computer Systems, IEEE International Conference on

Practical Considerations in Protocol Verification: The E-2C Case Study

Year: 1999, Pages: 153

DOI Bookmark: 10.1109/ICECCS.1999.802859

Authors

Yifei Dong, State University of New York at Stony Brook
Scott A. Smolka, State University of New York at Stony Brook
Eugene W. Stark, State University of New York at Stony Brook
Stephanie M. White, Long Island University

Practical Considerations in Protocol Verification: The E-2C Case Study

Authors

Abstract