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"
}
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"
}