%0 Conference Paper %1 conf/fsttcs/BoerHR97 %A de Boer, Frank S. %A Hannemann, Ulrich %A de Roever, Willem P. %B FSTTCS %D 1997 %E Ramesh, S. %E Sivakumar, G. %I Springer %K dblp %P 267-283 %T Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs97.html#BoerHR97 %V 1346 %@ 3-540-63876-8

@inproceedings{conf/fsttcs/BoerHR97, added-at = {2017-05-23T00:00:00.000+0200}, author = {de Boer, Frank S. and Hannemann, Ulrich and de Roever, Willem P.}, biburl = {https://www.bibsonomy.org/bibtex/2bc813f96f37a6d0b6cf4c63e19185699/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/1997}, editor = {Ramesh, S. and Sivakumar, G.}, ee = {https://doi.org/10.1007/BFb0058036}, interhash = {6e6f7ccf09af02dccbacf47d8088eefc}, intrahash = {bc813f96f37a6d0b6cf4c63e19185699}, isbn = {3-540-63876-8}, keywords = {dblp}, pages = {267-283}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:09:41.000+0200}, title = {Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs97.html#BoerHR97}, volume = 1346, year = 1997 }