%0 Conference Paper %1 conf/rex/HoekHM92 %A van der Hoek, Wiebe %A van Hulst, M. %A Meyer, John-Jules Ch. %B REX Workshop %D 1992 %E de Bakker, J. W. %E de Roever, Willem P. %E Rozenberg, Grzegorz %I Springer %K dblp %P 261-287 %T Towards an Epistemic Approach to Reasoning about Concurrent Programs. %U http://dblp.uni-trier.de/db/conf/rex/rex92.html#HoekHM92 %V 666 %@ 3-540-56596-5

@inproceedings{conf/rex/HoekHM92, added-at = {2017-05-20T00:00:00.000+0200}, author = {van der Hoek, Wiebe and van Hulst, M. and Meyer, John-Jules Ch.}, biburl = {https://www.bibsonomy.org/bibtex/27696e29f07888a9c9e66678c1019a32d/dblp}, booktitle = {REX Workshop}, crossref = {conf/rex/1992}, editor = {de Bakker, J. W. and de Roever, Willem P. and Rozenberg, Grzegorz}, ee = {https://doi.org/10.1007/3-540-56596-5_37}, interhash = {fe04471cf419ea542f805531e911c96e}, intrahash = {7696e29f07888a9c9e66678c1019a32d}, isbn = {3-540-56596-5}, keywords = {dblp}, pages = {261-287}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:24:13.000+0200}, title = {Towards an Epistemic Approach to Reasoning about Concurrent Programs.}, url = {http://dblp.uni-trier.de/db/conf/rex/rex92.html#HoekHM92}, volume = 666, year = 1992 }