Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 Dam:1998:VOD
%A Dam, Mads
%A Fredlund, Lars-\aake
%B Proceedings of the 1998 ACM Symposium on Applied Computing
%D 1998
%I ACM
%K
%P 532--540
%R 10.1145/330560.330917
%T On the Verification of Open Distributed Systems
%@ 0-89791-969-6
@inproceedings{Dam:1998:VOD,
acmid = {330917},
added-at = {2017-02-08T18:45:05.000+0100},
author = {Dam, Mads and Fredlund, Lars-{\aa}ke},
biburl = {https://www.bibsonomy.org/bibtex/2887dff0d58d640e5e5d40767df392e73/davidmilberg},
booktitle = {Proceedings of the 1998 ACM Symposium on Applied Computing},
doi = {10.1145/330560.330917},
interhash = {0f5cf88763c9811a3bd97fcd71b0f8a3},
intrahash = {887dff0d58d640e5e5d40767df392e73},
isbn = {0-89791-969-6},
keywords = {},
location = {Atlanta, Georgia, USA},
numpages = {9},
pages = {532--540},
publisher = {ACM},
series = {SAC '98},
timestamp = {2017-02-08T18:45:05.000+0100},
title = {{On the Verification of Open Distributed Systems}},
year = 1998
}
