%0 Conference Paper %1 conf/enase/SellamiHB13a %A Sellami, Asma %A Haoues, Mariem %A Ben-Abdallah, Hanêne %B ENASE (Selected Papers) %D 2013 %E Filipe, Joaquim %E Maciaszek, Leszek A. %I Springer %K dblp %P 48-63 %T Automated COSMIC-Based Analysis and Consistency Verification of UML Activity and Component Diagrams. %U http://dblp.uni-trier.de/db/conf/enase/enase2013s.html#SellamiHB13a %V 417 %@ 978-3-642-54091-2

@inproceedings{conf/enase/SellamiHB13a, added-at = {2017-06-02T00:00:00.000+0200}, author = {Sellami, Asma and Haoues, Mariem and Ben-Abdallah, Hanêne}, biburl = {https://www.bibsonomy.org/bibtex/215b0bc9eeb300ad15a1343d2441e0f86/dblp}, booktitle = {ENASE (Selected Papers)}, crossref = {conf/enase/2013s}, editor = {Filipe, Joaquim and Maciaszek, Leszek A.}, ee = {https://doi.org/10.1007/978-3-642-54092-9_4}, interhash = {ef780b5f3f0de206f8256739e96d1cfc}, intrahash = {15b0bc9eeb300ad15a1343d2441e0f86}, isbn = {978-3-642-54091-2}, keywords = {dblp}, pages = {48-63}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2019-10-22T13:22:32.000+0200}, title = {Automated COSMIC-Based Analysis and Consistency Verification of UML Activity and Component Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/enase/enase2013s.html#SellamiHB13a}, volume = 417, year = 2013 }