%0 Journal Article %1 journals/jcss/Jacobs0S15 %A Jacobs, Bart %A Silva, Alexandra %A Sokolova, Ana %D 2015 %J J. Comput. Syst. Sci. %K dblp %N 5 %P 859-879 %T Trace semantics via determinization. %U http://dblp.uni-trier.de/db/journals/jcss/jcss81.html#Jacobs0S15 %V 81

@article{journals/jcss/Jacobs0S15, added-at = {2021-02-16T00:00:00.000+0100}, author = {Jacobs, Bart and Silva, Alexandra and Sokolova, Ana}, biburl = {https://www.bibsonomy.org/bibtex/2c2cfb29896bc2bbfca44417288ad4405/dblp}, ee = {https://doi.org/10.1016/j.jcss.2014.12.005}, interhash = {9d2b696072f166cbe95ad22dc9127de6}, intrahash = {c2cfb29896bc2bbfca44417288ad4405}, journal = {J. Comput. Syst. Sci.}, keywords = {dblp}, number = 5, pages = {859-879}, timestamp = {2024-04-08T19:14:37.000+0200}, title = {Trace semantics via determinization.}, url = {http://dblp.uni-trier.de/db/journals/jcss/jcss81.html#Jacobs0S15}, volume = 81, year = 2015 }