%0 Journal Article %1 journals/tse/AlurEY03 %A Alur, Rajeev %A Etessami, Kousha %A Yannakakis, Mihalis %D 2003 %J IEEE Trans. Software Eng. %K dblp %N 7 %P 623-633 %T Inference of Message Sequence Charts. %U http://dblp.uni-trier.de/db/journals/tse/tse29.html#AlurEY03 %V 29

@article{journals/tse/AlurEY03, added-at = {2015-12-10T00:00:00.000+0100}, author = {Alur, Rajeev and Etessami, Kousha and Yannakakis, Mihalis}, biburl = {https://www.bibsonomy.org/bibtex/2854b9a403437ef443d38168afc503578/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2003.1214326}, interhash = {2c4984f1435847a0e365276463bfef83}, intrahash = {854b9a403437ef443d38168afc503578}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 7, pages = {623-633}, timestamp = {2015-12-12T11:51:54.000+0100}, title = {Inference of Message Sequence Charts.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse29.html#AlurEY03}, volume = 29, year = 2003 }