Jörg Desel, Ekkart Kindler. Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study. In 1st International Conference on Application of Concurrency to System Design (ACSD 98), 23-26 March 1998, Fukushima, Japan. pages 177-186, IEEE Computer Society, 1998. [doi]
@inproceedings{DeselK98,
title = {Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study},
author = {Jörg Desel and Ekkart Kindler},
year = {1998},
url = {http://csdl.computer.org/comp/proceedings/csd/1998/8350/00/83500177abs.htm},
tags = {case study},
researchr = {https://researchr.org/publication/DeselK98},
cites = {0},
citedby = {0},
pages = {177-186},
booktitle = {1st International Conference on Application of Concurrency to System Design (ACSD 98), 23-26 March 1998, Fukushima, Japan},
publisher = {IEEE Computer Society},
isbn = {0-8186-8350-3},
}