%0 Conference Paper %1 conf/focs/PnueliR90 %A Pnueli, Amir %A Rosner, Roni %B FOCS %D 1990 %I IEEE Computer Society %K dblp %P 746-757 %T Distributed Reactive Systems Are Hard to Synthesize %U http://dblp.uni-trier.de/db/conf/focs/focs90.html#PnueliR90

@inproceedings{conf/focs/PnueliR90, added-at = {2023-03-23T00:00:00.000+0100}, author = {Pnueli, Amir and Rosner, Roni}, biburl = {https://www.bibsonomy.org/bibtex/2404ec155d619231b1cff53c9c89232ed/dblp}, booktitle = {FOCS}, crossref = {conf/focs/FOCS31b}, ee = {https://doi.ieeecomputersociety.org/10.1109/FSCS.1990.89597}, interhash = {0ab05c72255f278bf5394597703876c6}, intrahash = {404ec155d619231b1cff53c9c89232ed}, keywords = {dblp}, note = {0-8186-2082-X}, pages = {746-757}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:04:48.000+0200}, title = {Distributed Reactive Systems Are Hard to Synthesize}, url = {http://dblp.uni-trier.de/db/conf/focs/focs90.html#PnueliR90}, year = 1990 }