Alin Stefanescu
Automatic Synthesis of Distributed Systems
ASE, 2002.
@inproceedings{ASE-2002-Stefanescu,
author = "Alin Stefanescu",
booktitle = "{Proceedings of the 17th IEEE International Conference on Automated Software Engineering}",
ee = "http://www.computer.org/csdl/proceedings/ase/2002/1736/00/17360315.pdf",
isbn = "0-7695-1736-6",
pages = "315",
publisher = "{IEEE Computer Society}",
title = "{Automatic Synthesis of Distributed Systems}",
year = 2002,
}