David Harel, Roni Rosner, Moshe Y. Vardi. On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report). In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA. pages 478-488, IEEE Computer Society, 1990.
@inproceedings{HarelRV90,
title = {On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report)},
author = {David Harel and Roni Rosner and Moshe Y. Vardi},
year = {1990},
researchr = {https://researchr.org/publication/HarelRV90},
cites = {0},
citedby = {0},
pages = {478-488},
booktitle = {Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA},
publisher = {IEEE Computer Society},
}