@phdthesis{DBLP:phd/it/Murano02,
  author       = {Aniello Murano},
  title        = {Decision problems on tree automata and synthesis of open timed systems},
  school       = {University of Salerno, Italy},
  year         = {2002},
  url          = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0004230},
  timestamp    = {Sat, 06 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/it/Murano02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"NfA7L2RFRzK3Bd5zA","bibbaseid":"murano-decisionproblemsontreeautomataandsynthesisofopentimedsystems-2002","author_short":["Murano, A."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]}],"title":"Decision problems on tree automata and synthesis of open timed systems","school":"University of Salerno, Italy","year":"2002","url":"https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0004230","timestamp":"Sat, 06 May 2023 01:00:00 +0200","biburl":"https://dblp.org/rec/phd/it/Murano02.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@phdthesis{DBLP:phd/it/Murano02,\n author = {Aniello Murano},\n title = {Decision problems on tree automata and synthesis of open timed systems},\n school = {University of Salerno, Italy},\n year = {2002},\n url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0004230},\n timestamp = {Sat, 06 May 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/phd/it/Murano02.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Murano, A."],"key":"DBLP:phd/it/Murano02","id":"DBLP:phd/it/Murano02","bibbaseid":"murano-decisionproblemsontreeautomataandsynthesisofopentimedsystems-2002","role":"author","urls":{"Paper":"https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0004230"},"metadata":{"authorlinks":{}}},"bibtype":"phdthesis","biburl":"https://dblp.org/pid/41/1330.bib","dataSources":["rcc5nk8gmLmyRucnQ"],"keywords":[],"search_terms":["decision","problems","tree","automata","synthesis","open","timed","systems","murano"],"title":"Decision problems on tree automata and synthesis of open timed systems","year":2002}