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, PavolISTA;
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.
Google Scholar