Rogério de Lemos, Amer Saeed. Safety Analysis Techniques for Validating Formal Models During Verification. In Massimo Felici, Karama Kanoun, Alberto Pasquini, editors, Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP 99, Toulouse, France, September, 1999, Proceedings. Volume 1698 of Lecture Notes in Computer Science, pages 58-66, Springer, 1999. [doi]
Abstract is missing.