%0 Journal Article %1 journals/tse/EshuisW04 %A Eshuis, Rik %A Wieringa, Roel J. %D 2004 %J IEEE Trans. Software Eng. %K dblp %N 7 %P 437-447 %T Tool Support for Verifying UML Activity Diagrams. %U http://dblp.uni-trier.de/db/journals/tse/tse30.html#EshuisW04 %V 30

@article{journals/tse/EshuisW04, added-at = {2019-03-14T00:00:00.000+0100}, author = {Eshuis, Rik and Wieringa, Roel J.}, biburl = {https://www.bibsonomy.org/bibtex/2d3887101c64d3663c11a1c8c2a861147/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2004.33}, interhash = {bbd27863d175a893d4c2bd531345c08c}, intrahash = {d3887101c64d3663c11a1c8c2a861147}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 7, pages = {437-447}, timestamp = {2019-03-15T11:37:47.000+0100}, title = {Tool Support for Verifying UML Activity Diagrams.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse30.html#EshuisW04}, volume = 30, year = 2004 }