Reiner Lichtenecker, Klaus Gotthardt. Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams. In Peter Daniel, editor, 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997. pages 241-252, Springer, 1997. [doi]
Abstract is missing.