%0 Conference Paper %1 conf/compos/Zwiers97 %A Zwiers, Job %B COMPOS %D 1997 %E de Roever, Willem P. %E Langmaack, Hans %E Pnueli, Amir %I Springer %K dblp %P 609-631 %T Compositional Transformational Design for Concurrent Programs. %U http://dblp.uni-trier.de/db/conf/compos/compos1997.html#Zwiers97 %V 1536 %@ 3-540-65493-3

@inproceedings{conf/compos/Zwiers97, added-at = {2017-05-23T00:00:00.000+0200}, author = {Zwiers, Job}, biburl = {https://www.bibsonomy.org/bibtex/2693a7c5fabc326cee52f1eb94a47212f/dblp}, booktitle = {COMPOS}, crossref = {conf/compos/1997}, editor = {de Roever, Willem P. and Langmaack, Hans and Pnueli, Amir}, ee = {https://doi.org/10.1007/3-540-49213-5_24}, interhash = {7b27a85e36485194d290998b9a63d7c8}, intrahash = {693a7c5fabc326cee52f1eb94a47212f}, isbn = {3-540-65493-3}, keywords = {dblp}, pages = {609-631}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:53:07.000+0200}, title = {Compositional Transformational Design for Concurrent Programs.}, url = {http://dblp.uni-trier.de/db/conf/compos/compos1997.html#Zwiers97}, volume = 1536, year = 1997 }