Decision problems on tree automata and synthesis of open timed systems. Murano, A. Ph.D. Thesis, University of Salerno, Italy, 2002.
Decision problems on tree automata and synthesis of open timed systems [link]Paper  bibtex   
@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}
}

Downloads: 0