Cite
Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragment
MLA
Tristan Charrier, et al. Model Checking against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment. Jan. 2017. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi.dedup.....2487abb1380ba599b9a920bfe8fa27bb&authtype=sso&custid=ns315887.
APA
Tristan Charrier, François Schwarzentruber, & Sophie Pinchinat. (2017). Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragment.
Chicago
Tristan Charrier, François Schwarzentruber, and Sophie Pinchinat. 2017. “Model Checking against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment,” January. http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi.dedup.....2487abb1380ba599b9a920bfe8fa27bb&authtype=sso&custid=ns315887.