%0 Conference Paper %1 conf/nato/Back92a %A Back, Ralph-Johan %B NATO ASI PDC %D 1992 %E Broy, Manfred %I Springer %K dblp %P 73-92 %T Refinement of Parallel and Reactive Programs. %U http://dblp.uni-trier.de/db/conf/nato/pdc1992.html#Back92a %V 118 %@ 978-3-662-02880-3

@inproceedings{conf/nato/Back92a, added-at = {2017-05-14T00:00:00.000+0200}, author = {Back, Ralph-Johan}, biburl = {https://www.bibsonomy.org/bibtex/2a14897ee3d0bb26181006cda0b0fd586/dblp}, booktitle = {NATO ASI PDC}, crossref = {conf/nato/1992pdc}, editor = {Broy, Manfred}, ee = {https://doi.org/10.1007/978-3-662-02880-3_3}, interhash = {39821e0d9f60022066d7bb9afee273a5}, intrahash = {a14897ee3d0bb26181006cda0b0fd586}, isbn = {978-3-662-02880-3}, keywords = {dblp}, pages = {73-92}, publisher = {Springer}, series = {NATO ASI Series}, timestamp = {2024-04-09T19:34:06.000+0200}, title = {Refinement of Parallel and Reactive Programs.}, url = {http://dblp.uni-trier.de/db/conf/nato/pdc1992.html#Back92a}, volume = 118, year = 1992 }