%0 Conference Paper %1 conf/lics/HarelRV90 %A Harel, David %A Rosner, Roni %A Vardi, Moshe Y. %B LICS %D 1990 %I IEEE Computer Society %K dblp %P 478-488 %T On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) %U http://dblp.uni-trier.de/db/conf/lics/lics90.html#HarelRV90 %@ 0-8186-2073-0

@inproceedings{conf/lics/HarelRV90, added-at = {2023-03-24T00:00:00.000+0100}, author = {Harel, David and Rosner, Roni and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/202820f416d9a92598133a87c20e82db9/dblp}, booktitle = {LICS}, crossref = {conf/lics/1990}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.1990.113770}, interhash = {3618c1822317c816f495260caf4f759a}, intrahash = {02820f416d9a92598133a87c20e82db9}, isbn = {0-8186-2073-0}, keywords = {dblp}, pages = {478-488}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:42:06.000+0200}, title = {On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report)}, url = {http://dblp.uni-trier.de/db/conf/lics/lics90.html#HarelRV90}, year = 1990 }