Parameterized Synthesis (bibtex)
by S. Jacobs, R. Bloem
Reference:
Parameterized SynthesisS. Jacobs, R. BloemLogical Methods in Computer Science, 2014.
Bibtex Entry:
@article{JacobsBloem14,
title = {Parameterized Synthesis},
url = {http://arxiv.org/abs/1401.3588},
journal = {Logical Methods in Computer Science},
author = {S. Jacobs and R. Bloem},
year = {2014},
}
Powered by bibtexbrowser