%0 Conference Paper %1 conf/icfem/BowlesBA15 %A Bowles, Juliana Küster Filipe %A Bordbar, Behzad %A Alwanain, Mohammed %B ICFEM %D 2015 %E Butler, Michael J. %E Conchon, Sylvain %E Zaïdi, Fatiha %I Springer %K %P 252-269 %T A Logical Approach for Behavioural Composition of Scenario-Based Models. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2015.html#BowlesBA15 %V 9407 %@ 978-3-319-25422-7

@inproceedings{conf/icfem/BowlesBA15, added-at = {2023-12-13T03:50:37.000+0100}, author = {Bowles, Juliana Küster Filipe and Bordbar, Behzad and Alwanain, Mohammed}, biburl = {https://www.bibsonomy.org/bibtex/221f05fcb5e52bcd88dea636c686d53d8/admin}, booktitle = {ICFEM}, crossref = {conf/icfem/2015}, editor = {Butler, Michael J. and Conchon, Sylvain and Zaïdi, Fatiha}, ee = {https://doi.org/10.1007/978-3-319-25423-4_16}, interhash = {8f662b8fbebc4fa539bf4ebe41f807df}, intrahash = {21f05fcb5e52bcd88dea636c686d53d8}, isbn = {978-3-319-25422-7}, keywords = {}, pages = {252-269}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T03:50:37.000+0100}, title = {A Logical Approach for Behavioural Composition of Scenario-Based Models.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2015.html#BowlesBA15}, volume = 9407, year = 2015 }