%0 Journal Article %1 journals/iandc/ClarkeGB89 %A Browne, Michael C. %A Clarke, Edmund M. %A Grumberg, Orna %D 1989 %J Inf. Comput. %K dblp %N 1 %P 13-31 %T Reasoning about Networks with Many Identical Finite State Processes %U http://dblp.uni-trier.de/db/journals/iandc/iandc81.html#ClarkeGB89 %V 81

@article{journals/iandc/ClarkeGB89, added-at = {2021-02-12T00:00:00.000+0100}, author = {Browne, Michael C. and Clarke, Edmund M. and Grumberg, Orna}, biburl = {https://www.bibsonomy.org/bibtex/2a1ac267ef56596ec3d264e4415490720/dblp}, ee = {https://doi.org/10.1016/0890-5401(89)90026-6}, interhash = {104ccb2cc9b3fb49feabaa2aa2acfc55}, intrahash = {a1ac267ef56596ec3d264e4415490720}, journal = {Inf. Comput.}, keywords = {dblp}, month = {April}, number = 1, pages = {13-31}, timestamp = {2024-04-09T06:10:15.000+0200}, title = {Reasoning about Networks with Many Identical Finite State Processes}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc81.html#ClarkeGB89}, volume = 81, year = 1989 }