%0 Conference Paper %1 conf/ifip/Lann77 %A Lann, Gérard Le %B IFIP Congress %D 1977 %K dblp %P 155-160 %T Distributed Systems - Towards a Formal Approach. %U http://dblp.uni-trier.de/db/conf/ifip/ifip1977.html#Lann77

@inproceedings{conf/ifip/Lann77, added-at = {2002-08-19T00:00:00.000+0200}, author = {Lann, Gérard Le}, biburl = {https://www.bibsonomy.org/bibtex/2d1a173dc6123a0f68cb2966a2a0bf000/dblp}, booktitle = {IFIP Congress}, date = {2002-08-19}, description = {dblp}, interhash = {fa57c83346776fbf58b409ef2d9079af}, intrahash = {d1a173dc6123a0f68cb2966a2a0bf000}, keywords = {dblp}, pages = {155-160}, timestamp = {2002-08-19T00:00:00.000+0200}, title = {Distributed Systems - Towards a Formal Approach.}, url = {http://dblp.uni-trier.de/db/conf/ifip/ifip1977.html#Lann77}, year = 1977 }