Finite countermodels for safety verification of parameterized tree systems

MLA

Lisitsa, Alexei. Finite Countermodels for Safety Verification of Parameterized Tree Systems. 2011. 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=edsarx&AN=edsarx.1107.5142&authtype=sso&custid=ns315887.

APA

Lisitsa, A. (2011). Finite countermodels for safety verification of parameterized tree systems.

Chicago

Lisitsa, Alexei. 2011. “Finite Countermodels for Safety Verification of Parameterized Tree Systems.” 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=edsarx&AN=edsarx.1107.5142&authtype=sso&custid=ns315887.