Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala. Formal Verification of Abstract System and Protocol Specifications. In 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA. pages 207-211, IEEE Computer Society, 2006. [doi]
Abstract is missing.