Reasoning about Hyperproperties (Redeneren over hyperproperties) ; Reasoning about Hyperproperties

Dimiter Milushev. Reasoning about Hyperproperties (Redeneren over hyperproperties) ; Reasoning about Hyperproperties. PhD thesis, Katholieke Universiteit Leuven, Belgium, 2013. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.