@article{Jacobs2015,
 author = {Bart Jacobs and
Alexandra Silva and
Ana Sokolova},
 doi = {10.1016/J.JCSS.2014.12.005},
 journal = {Journal of Computer and System Sciences},
 title = {Trace semantics via determinization},
 year = {2015}
}

{"_id":"AbcMyXhP2os4WRa98","bibbaseid":"jacobs-silva-sokolova-tracesemanticsviadeterminization-2015","author_short":["Jacobs, B.","Silva, A.","Sokolova, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Bart"],"propositions":[],"lastnames":["Jacobs"],"suffixes":[]},{"firstnames":["Alexandra"],"propositions":[],"lastnames":["Silva"],"suffixes":[]},{"firstnames":["Ana"],"propositions":[],"lastnames":["Sokolova"],"suffixes":[]}],"doi":"10.1016/J.JCSS.2014.12.005","journal":"Journal of Computer and System Sciences","title":"Trace semantics via determinization","year":"2015","bibtex":"@article{Jacobs2015,\n author = {Bart Jacobs and\nAlexandra Silva and\nAna Sokolova},\n doi = {10.1016/J.JCSS.2014.12.005},\n journal = {Journal of Computer and System Sciences},\n title = {Trace semantics via determinization},\n year = {2015}\n}\n\n","author_short":["Jacobs, B.","Silva, A.","Sokolova, A."],"key":"Jacobs2015","id":"Jacobs2015","bibbaseid":"jacobs-silva-sokolova-tracesemanticsviadeterminization-2015","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://alexandrasilva.org/files/silva.bib","dataSources":["YGSCFyGmyG7sp5685","BQAtJ795ujcMgoxSg","g3oJeDsRp4CMAYtS6"],"keywords":[],"search_terms":["trace","semantics","via","determinization","jacobs","silva","sokolova"],"title":"Trace semantics via determinization","year":2015}