Synthesizing structured reactive programs via deterministic tree automata

by Benedikt Brütsch
Reference:
Synthesizing structured reactive programs via deterministic tree automata (Benedikt Brütsch), In Information and Computation, volume 242, 2015. ()
Bibtex Entry:
@article{Brütsch2015108,
	  title = "Synthesizing structured reactive programs via deterministic tree automata ",
	  journal = "Information and Computation ",
	  volume = "242",
	  number = "0",
	  pages = "108 - 127",
	  year = "2015",
	  note = "",
	  issn = "0890-5401",
	  doi = "http://dx.doi.org/10.1016/j.ic.2015.03.013",
	  url = "http://www.sciencedirect.com/science/article/pii/S0890540115000280",
	  author = "Benedikt Brütsch"
}

Bookmark the permalink.