Automated Analysis of an Audio Control Protocol Using UPPAAL

MLA

Bengtsson, Johan, et al. Automated Analysis of an Audio Control Protocol Using UPPAAL. 2002. 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.on1234942506&authtype=sso&custid=ns315887.

APA

Bengtsson, J., Griffioen, D., Kristoffersen, K., Larsen, K., Larsson, F., Pettersson, P., & Yi, W. (2002). Automated Analysis of an Audio Control Protocol Using UPPAAL.

Chicago

Bengtsson, Johan, David Griffioen, Kåre Kristoffersen, Kim Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. 2002. “Automated Analysis of an Audio Control Protocol Using UPPAAL.” 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.on1234942506&authtype=sso&custid=ns315887.