![](/img/cover-not-exists.png)
[IEEE Comput. Soc 16th Annual IEEE Symposium on Logic in Computer Science - Boston, MA, USA (16-19 June 2001)] Proceedings 16th Annual IEEE Symposium on Logic in Computer Science - Synthesizing distributed systems
Kupermann, O., Varfi, M.Y.Year:
2001
Language:
english
DOI:
10.1109/lics.2001.932514
File:
PDF, 1.02 MB
english, 2001