Sylvain Hallé, Roger Villemaire, Omar Cherkaoui. CTL Model Checking for Labelled Tree Queries. In 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary. pages 27-35, IEEE Computer Society, 2006. [doi]
@inproceedings{HalleVC06, title = {CTL Model Checking for Labelled Tree Queries}, author = {Sylvain Hallé and Roger Villemaire and Omar Cherkaoui}, year = {2006}, doi = {10.1109/TIME.2006.11}, url = {http://doi.ieeecomputersociety.org/10.1109/TIME.2006.11}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/HalleVC06}, cites = {0}, citedby = {0}, pages = {27-35}, booktitle = {13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary}, publisher = {IEEE Computer Society}, isbn = {0-7695-2617-9}, }