%0 Conference Paper %1 conf/msi/Lamport78 %A Lamport, Leslie %B Mathematical Studies of Information Processing %D 1978 %E Blum, Edward K. %E Paul, Manfred %E Takasu, Satoru %I Springer %K dblp %P 474-537 %T The specification and proof of correctness of interactive programs. %U http://dblp.uni-trier.de/db/conf/msi/msi1978.html#Lamport78 %V 75 %@ 0-387-09541-1

@inproceedings{conf/msi/Lamport78, added-at = {2017-05-19T00:00:00.000+0200}, author = {Lamport, Leslie}, biburl = {https://www.bibsonomy.org/bibtex/2ed2e47b3f86ea0a4c417348325fff4b6/dblp}, booktitle = {Mathematical Studies of Information Processing}, crossref = {conf/msi/1978}, editor = {Blum, Edward K. and Paul, Manfred and Takasu, Satoru}, ee = {https://doi.org/10.1007/3-540-09541-1_37}, interhash = {3c858e2efeab6ab1c0ca221cf3830efb}, intrahash = {ed2e47b3f86ea0a4c417348325fff4b6}, isbn = {0-387-09541-1}, keywords = {dblp}, pages = {474-537}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T00:58:31.000+0200}, title = {The specification and proof of correctness of interactive programs.}, url = {http://dblp.uni-trier.de/db/conf/msi/msi1978.html#Lamport78}, volume = 75, year = 1978 }