Dimiter Milushev, Dave Clarke. Incremental Hyperproperty Model Checking via Games. In Hanne Riis Nielson, Dieter Gollmann, editors, Secure IT Systems - 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings. Volume 8208 of Lecture Notes in Computer Science, pages 247-262, Springer, 2013. [doi]
Abstract is missing.