%0 Journal Article %1 journals/mst/GenestM08 %A Genest, Blaise %A Muscholl, Anca %D 2008 %J Theory Comput. Syst. %K %N 4 %P 536-567 %T Pattern Matching and Membership for Hierarchical Message Sequence Charts. %U http://dblp.uni-trier.de/db/journals/mst/mst42.html#GenestM08 %V 42

@article{journals/mst/GenestM08, added-at = {2023-12-13T02:50:18.000+0100}, author = {Genest, Blaise and Muscholl, Anca}, biburl = {https://www.bibsonomy.org/bibtex/24a5f853ce3bf35a8c72b391f3f3e77b1/admin}, date = {2008-08-08}, ee = {http://dx.doi.org/10.1007/s00224-007-9054-1}, interhash = {844002dd7bb2f27f187991ffe2d4b70d}, intrahash = {4a5f853ce3bf35a8c72b391f3f3e77b1}, journal = {Theory Comput. Syst.}, keywords = {}, number = 4, pages = {536-567}, timestamp = {2023-12-13T02:50:18.000+0100}, title = {Pattern Matching and Membership for Hierarchical Message Sequence Charts.}, url = {http://dblp.uni-trier.de/db/journals/mst/mst42.html#GenestM08}, volume = 42, year = 2008 }