%0 Conference Paper %1 conf/modelsward/LimaIS14 %A Lima, Lucas %A Iyoda, Juliano %A Sampaio, Augusto %B MODELSWARD %D 2014 %E Pires, Luís Ferreira %E Hammoudi, Slimane %E Filipe, Joaquim %E das Neves, Rui César %I SciTePress %K %P 317-324 %T A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis. %U http://dblp.uni-trier.de/db/conf/modelsward/modelsward2014.html#LimaIS14 %@ 978-989-758-007-9

@inproceedings{conf/modelsward/LimaIS14, added-at = {2023-12-12T17:40:10.000+0100}, author = {Lima, Lucas and Iyoda, Juliano and Sampaio, Augusto}, biburl = {https://www.bibsonomy.org/bibtex/26800b93381c87bf98ebbab6356849496/admin}, booktitle = {MODELSWARD}, crossref = {conf/modelsward/2014}, editor = {Pires, Luís Ferreira and Hammoudi, Slimane and Filipe, Joaquim and das Neves, Rui César}, ee = {http://ieeexplore.ieee.org/document/7018479/}, interhash = {070adfb26f85cdb2116471d31c64e4cb}, intrahash = {6800b93381c87bf98ebbab6356849496}, isbn = {978-989-758-007-9}, keywords = {}, pages = {317-324}, publisher = {SciTePress}, timestamp = {2023-12-12T17:40:10.000+0100}, title = {A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis.}, url = {http://dblp.uni-trier.de/db/conf/modelsward/modelsward2014.html#LimaIS14}, year = 2014 }