Inproceedings,

Safety Property-Driven Stubborn Sets.

, and .
RP, volume 9899 of Lecture Notes in Computer Science, page 90-103. Springer, (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews