Amine Raji, Philippe Dhaussy. Use Cases for Context Aware Model-Checking. In Jörg Kienzle, editor, Models in Software Engineering - Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers. Volume 7167 of Lecture Notes in Computer Science, pages 202-216, Springer, 2011. [doi]
@inproceedings{RajiD11, title = {Use Cases for Context Aware Model-Checking}, author = {Amine Raji and Philippe Dhaussy}, year = {2011}, doi = {10.1007/978-3-642-29645-1_21}, url = {http://dx.doi.org/10.1007/978-3-642-29645-1_21}, researchr = {https://researchr.org/publication/RajiD11}, cites = {0}, citedby = {0}, pages = {202-216}, booktitle = {Models in Software Engineering - Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers}, editor = {Jörg Kienzle}, volume = {7167}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-29644-4}, }