Sebastian Kinder, Rolf Drechsler. Proving Completeness of Properties in Formal Verification of Counting Heads for Railways. In Tenth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2007), 29-31 August 2007, Lübeck, Germany. pages 396-403, IEEE, 2007. [doi]
Abstract is missing.