%0 Conference Paper %1 conf/ershov/Letichevsky06 %A Letichevsky, Alexander A. %B Ershov Memorial Conference %D 2006 %E Virbitskaite, Irina B. %E Voronkov, Andrei %I Springer %K dblp %P 21-25 %T Basic Protocols: Specification Language for Distributed Systems. %U http://dblp.uni-trier.de/db/conf/ershov/ershov2006.html#Letichevsky06 %V 4378 %@ 978-3-540-70880-3

@inproceedings{conf/ershov/Letichevsky06, added-at = {2017-05-21T00:00:00.000+0200}, author = {Letichevsky, Alexander A.}, biburl = {https://www.bibsonomy.org/bibtex/251c524ffdf5985506d6fff5a43c4a8b5/dblp}, booktitle = {Ershov Memorial Conference}, crossref = {conf/ershov/2006}, editor = {Virbitskaite, Irina B. and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-540-70881-0_4}, interhash = {19d246843d3141a730c1c32abdd9369e}, intrahash = {51c524ffdf5985506d6fff5a43c4a8b5}, isbn = {978-3-540-70880-3}, keywords = {dblp}, pages = {21-25}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-12-17T11:40:47.000+0100}, title = {Basic Protocols: Specification Language for Distributed Systems.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov2006.html#Letichevsky06}, volume = 4378, year = 2006 }