Model Checking on Trees with Path Equivalences

Alur R, Cerny P, Chaudhuri S. 2007. Model Checking on Trees with Path Equivalences. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, , 664–678.

Download
No fulltext has been uploaded. References only!

DOI
Conference Paper | Published
Author
Alur, Rajeev; Cerny, PavolIST Austria; Chaudhuri,Swarat
Series Title
LNCS
Publishing Year
Date Published
2007-01-01
Page
664 - 678
Conference
TACAS: Tools and Algorithms for the Construction and Analysis of Systems
IST-REx-ID

Cite this

Alur R, Cerny P, Chaudhuri S. Model Checking on Trees with Path Equivalences. In: Springer; 2007:664-678. doi:1544
Alur, R., Cerny, P., & Chaudhuri, S. (2007). Model Checking on Trees with Path Equivalences (pp. 664–678). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/1544
Alur, Rajeev, Pavol Cerny, and Swarat Chaudhuri. “Model Checking on Trees with Path Equivalences,” 664–78. Springer, 2007. https://doi.org/1544.
R. Alur, P. Cerny, and S. Chaudhuri, “Model Checking on Trees with Path Equivalences,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2007, pp. 664–678.
Alur R, Cerny P, Chaudhuri S. 2007. Model Checking on Trees with Path Equivalences. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, , 664–678.
Alur, Rajeev, et al. Model Checking on Trees with Path Equivalences. Springer, 2007, pp. 664–78, doi:1544.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar