Verifying Quantitative Temporal Properties of Procedural Programs

MLA

Mohamed Faouzi Atig and Ahmed Bouajjani and K. Narayan Kumar and Prakash Saivasan, et al. Verifying Quantitative Temporal Properties of Procedural Programs. 2018. 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=edsoai&AN=edsoai.on1358724852&authtype=sso&custid=ns315887.

APA

Mohamed Faouzi Atig and Ahmed Bouajjani and K. Narayan Kumar and Prakash Saivasan, Atig, M. F., Bouajjani, A., Narayan Kumar, K., & Saivasan, P. (2018). Verifying Quantitative Temporal Properties of Procedural Programs.

Chicago

Mohamed Faouzi Atig and Ahmed Bouajjani and K. Narayan Kumar and Prakash Saivasan, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, and Prakash Saivasan. 2018. “Verifying Quantitative Temporal Properties of Procedural Programs.” 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=edsoai&AN=edsoai.on1358724852&authtype=sso&custid=ns315887.