%0 Conference Paper %1 conf/sera/OuchaniMDP10 %A Ouchani, Samir %A Mohamed, Otmane Aït %A Debbabi, Mourad %A Pourzandi, Makan %B SERA (selected papers) %D 2010 %E Lee, Roger Y. %E Ormandjieva, Olga %E Abran, Alain %E Constantinides, Constantinos %I Springer %K dblp %P 163-177 %T Verification of the Correctness in Composed UML Behavioural Diagrams. %U http://dblp.uni-trier.de/db/conf/sera/sera2010s.html#OuchaniMDP10 %V 296 %@ 978-3-642-13272-8

@inproceedings{conf/sera/OuchaniMDP10, added-at = {2024-05-07T00:00:00.000+0200}, author = {Ouchani, Samir and Mohamed, Otmane Aït and Debbabi, Mourad and Pourzandi, Makan}, biburl = {https://www.bibsonomy.org/bibtex/2afb981b5d160d2fd10454657747d2046/dblp}, booktitle = {SERA (selected papers)}, crossref = {conf/sera/2010s}, editor = {Lee, Roger Y. and Ormandjieva, Olga and Abran, Alain and Constantinides, Constantinos}, ee = {https://www.wikidata.org/entity/Q57920769}, interhash = {8f591f70fd647bb8bff91937fead5e8d}, intrahash = {afb981b5d160d2fd10454657747d2046}, isbn = {978-3-642-13272-8}, keywords = {dblp}, pages = {163-177}, publisher = {Springer}, series = {Studies in Computational Intelligence}, timestamp = {2024-05-13T08:49:24.000+0200}, title = {Verification of the Correctness in Composed UML Behavioural Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/sera/sera2010s.html#OuchaniMDP10}, volume = 296, year = 2010 }