%0 Conference Paper %1 conf/asian/Jalote95 %A Jalote, Pankaj %B ASIAN %D 1995 %E Kanchanasut, Kanchana %E Lévy, Jean-Jacques %I Springer %K dblp %P 187-194 %T Formalizing Inductive Proofs of Message Recovery in Distributed Systems. %U http://dblp.uni-trier.de/db/conf/asian/asian95.html#Jalote95 %V 1023 %@ 3-540-60688-2

@inproceedings{conf/asian/Jalote95, added-at = {2017-05-22T00:00:00.000+0200}, author = {Jalote, Pankaj}, biburl = {https://www.bibsonomy.org/bibtex/2d7b341c55c1a99a9a01a3f06bbad6d33/dblp}, booktitle = {ASIAN}, crossref = {conf/asian/1995}, editor = {Kanchanasut, Kanchana and Lévy, Jean-Jacques}, ee = {https://doi.org/10.1007/3-540-60688-2_44}, interhash = {865dcb2c66bc2e8fb3b26f3e74b2f989}, intrahash = {d7b341c55c1a99a9a01a3f06bbad6d33}, isbn = {3-540-60688-2}, keywords = {dblp}, pages = {187-194}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:19:02.000+0200}, title = {Formalizing Inductive Proofs of Message Recovery in Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/asian/asian95.html#Jalote95}, volume = 1023, year = 1995 }