by Unknown
Reference:
Proceedings of the Young Researchers’ Conference “Frontiers of Formal Methods”, (Thomas Ströder, Wolfgang Thomas, eds.), 2015.
Bibtex Entry:
@proceedings{ffm2015,
editor = {Thomas Str"oder and Wolfgang Thomas},
title = {Proceedings of the Young Researchers' Conference ``Frontiers of Formal Methods''},
institution = {RWTH Aachen},
keywords = {Formal Methods, Algorithmic Synthesis, Reactive Systems, Discrete-Continuous Systems, Program Analysis, Model Analysis, Quantitative Logics, Automata, Correctness, System Engineering},
year = {2015},
number = {AIB-2015-06},
month = {February},
url = {http://aib.informatik.rwth-aachen.de/2015/2015-06.pdf}
}