Local Proofs for Global Safety Properties
Book chapter in Lecture Notes in Computer Science (January 2007)
The most recent citing publication is shown below. View this citation on Dimensions.
Book chapter in Lecture Notes in Computer Science (January 2007)