Compositional Higher-Order Model Checking via ω -Regular Games over B¨ohm Trees ∗ Takeshi Tsukada C.-H. Luke Ong - Luke - Document - PDFSEARCH.IO

First Page	Meta Content
	Compositional Higher-Order Model Checking via ω -Regular Games over B¨ohm Trees ∗ Takeshi Tsukada C.-H. Luke Ong Add to Reading List Document Date: 2016-04-18 06:57:45 Open Document File Size: 720,00 KB Share Result on Facebook

Compositional Higher-Order Model Checking via ω -Regular Games over B¨ohm Trees ∗ Takeshi Tsukada C.-H. Luke OngAdd to Reading List