%0 Conference Paper %1 conf/iccsa/SantosESV14 %A dos Santos, Luciana Brasil Rebelo %A Eras, Eduardo Rohde %A de Santiago Jr., Valdivino Alexandre %A Vijaykumar, Nandamudi Lankalapalli %B ICCSA (1) %D 2014 %E Murgante, Beniamino %E Misra, Sanjay %E Rocha, Ana Maria A. C. %E Torre, Carmelo Maria %E Rocha, Jorge Gustavo %E Falcão, Maria Irene %E Taniar, David %E Apduhan, Bernady O. %E Gervasi, Osvaldo %I Springer %K dblp %P 696-711 %T A Formal Verification Tool for UML Behavioral Diagrams. %U http://dblp.uni-trier.de/db/conf/iccsa/iccsa2014-1.html#SantosESV14 %V 8579 %@ 978-3-319-09143-3

@inproceedings{conf/iccsa/SantosESV14, added-at = {2020-09-05T00:00:00.000+0200}, author = {dos Santos, Luciana Brasil Rebelo and Eras, Eduardo Rohde and de Santiago Jr., Valdivino Alexandre and Vijaykumar, Nandamudi Lankalapalli}, biburl = {https://www.bibsonomy.org/bibtex/23c23c2448782612bd491ad7b9d3e6f7b/dblp}, booktitle = {ICCSA (1)}, crossref = {conf/iccsa/2014-1}, editor = {Murgante, Beniamino and Misra, Sanjay and Rocha, Ana Maria A. C. and Torre, Carmelo Maria and Rocha, Jorge Gustavo and Falcão, Maria Irene and Taniar, David and Apduhan, Bernady O. and Gervasi, Osvaldo}, ee = {https://doi.org/10.1007/978-3-319-09144-0_48}, interhash = {279c9125555ffab4e6ff6423d3979181}, intrahash = {3c23c2448782612bd491ad7b9d3e6f7b}, isbn = {978-3-319-09143-3}, keywords = {dblp}, pages = {696-711}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-09T15:10:21.000+0200}, title = {A Formal Verification Tool for UML Behavioral Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/iccsa/iccsa2014-1.html#SantosESV14}, volume = 8579, year = 2014 }