From POOSL to UPPAAL : transformation and quantitative analysis

MLA

Xing, Jiansheng, et al. From POOSL to UPPAAL : Transformation and Quantitative Analysis. Jan. 2010. 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.....3e01c4f1a4f37f0d5129d6b2c19c4c85&authtype=sso&custid=ns315887.

APA

Xing, J., Theelen, B. D., Langerak, R., van de Pol, J., Tretmans, J., Voeten, J. P. M., Gomes, L., Khomenko, V., & Fernandes, J. M. (2010). From POOSL to UPPAAL : transformation and quantitative analysis.

Chicago

Xing, Jiansheng, B.D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, J.P.M. Voeten, L. Gomes, V. Khomenko, and J.M. Fernandes. 2010. “From POOSL to UPPAAL : Transformation and Quantitative Analysis,” 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.....3e01c4f1a4f37f0d5129d6b2c19c4c85&authtype=sso&custid=ns315887.