%0 Journal Article %1 journals/tosem/Eshuis06 %A Eshuis, Rik %D 2006 %J ACM Trans. Softw. Eng. Methodol. %K dblp %N 1 %P 1-38 %T Symbolic model checking of UML activity diagrams. %U http://dblp.uni-trier.de/db/journals/tosem/tosem15.html#Eshuis06 %V 15

@article{journals/tosem/Eshuis06, added-at = {2020-12-29T00:00:00.000+0100}, author = {Eshuis, Rik}, biburl = {https://www.bibsonomy.org/bibtex/2275da07590f61b6d27b89b3d125c8e01/dblp}, ee = {https://doi.org/10.1145/1125808.1125809}, interhash = {8105d396f428c1c8bad17547d6852710}, intrahash = {275da07590f61b6d27b89b3d125c8e01}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {dblp}, number = 1, pages = {1-38}, timestamp = {2024-04-09T02:03:02.000+0200}, title = {Symbolic model checking of UML activity diagrams.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem15.html#Eshuis06}, volume = 15, year = 2006 }