%0 Journal Article %1 EW04 %A Eshuis, R. %A Wieringa, R. %D 2004 %J Software Engineering, IEEE Transactions on %K %N 7 %P 437-447 %T Tool support for verifying UML activity diagrams %V 30

@article{EW04, added-at = {2010-10-04T17:52:27.000+0200}, author = {Eshuis, R. and Wieringa, R.}, biburl = {https://www.bibsonomy.org/bibtex/2557ea5b1ca42b2169d3735859cb47400/jabreftest}, interhash = {bbd27863d175a893d4c2bd531345c08c}, intrahash = {557ea5b1ca42b2169d3735859cb47400}, journal = {Software Engineering, IEEE Transactions on}, keywords = {}, month = {July}, number = 7, pages = {437-447}, timestamp = {2010-10-04T17:52:28.000+0200}, title = {Tool support for verifying UML activity diagrams}, volume = 30, year = 2004 }