%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 Actors Concurrency Distribution StaticAnalysis %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:38:12.000+0100}, author = {Dam, Mads and Fredlund, Lars-{\aa}ke}, biburl = {https://www.bibsonomy.org/bibtex/2887dff0d58d640e5e5d40767df392e73/gron}, booktitle = {Proceedings of the 1998 ACM Symposium on Applied Computing}, description = {On the verification of open distributed systems}, doi = {10.1145/330560.330917}, interhash = {0f5cf88763c9811a3bd97fcd71b0f8a3}, intrahash = {887dff0d58d640e5e5d40767df392e73}, isbn = {0-89791-969-6}, keywords = {Actors Concurrency Distribution StaticAnalysis}, location = {Atlanta, Georgia, USA}, numpages = {9}, pages = {532--540}, publisher = {ACM}, series = {SAC '98}, timestamp = {2017-02-08T18:38:12.000+0100}, title = {{On the Verification of Open Distributed Systems}}, year = 1998 }