%0 Conference Paper %1 conf/rex/Lamport93 %A Lamport, Leslie %B REX School/Symposium %D 1993 %E de Bakker, J. W. %E de Roever, Willem P. %E Rozenberg, Grzegorz %I Springer %K dblp %P 347-374 %T Verification and Specifications of Concurrent Programs. %U http://dblp.uni-trier.de/db/conf/rex/rex93.html#Lamport93 %V 803 %@ 3-540-58043-3

@inproceedings{conf/rex/Lamport93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Lamport, Leslie}, biburl = {https://www.bibsonomy.org/bibtex/2175c3d3e8617464b383037fe83aa8e94/dblp}, booktitle = {REX School/Symposium}, crossref = {conf/rex/1993}, editor = {de Bakker, J. W. and de Roever, Willem P. and Rozenberg, Grzegorz}, ee = {https://doi.org/10.1007/3-540-58043-3_23}, interhash = {215ca2bcdc61a086ddcec3f1297d323f}, intrahash = {175c3d3e8617464b383037fe83aa8e94}, isbn = {3-540-58043-3}, keywords = {dblp}, pages = {347-374}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:24:04.000+0200}, title = {Verification and Specifications of Concurrent Programs.}, url = {http://dblp.uni-trier.de/db/conf/rex/rex93.html#Lamport93}, volume = 803, year = 1993 }