%0 Journal Article %1 journals/tc/0001ZMRZ15 %A Zheng, Hao %A Zhang, Zhen %A Myers, Chris J. %A Rodriguez, Emmanuel %A Zhang, Yingying %D 2015 %J IEEE Trans. Computers %K dblp %N 6 %P 1607-1621 %T Compositional Model Checking of Concurrent Systems. %U http://dblp.uni-trier.de/db/journals/tc/tc64.html#0001ZMRZ15 %V 64

@article{journals/tc/0001ZMRZ15, added-at = {2019-06-02T00:00:00.000+0200}, author = {Zheng, Hao and Zhang, Zhen and Myers, Chris J. and Rodriguez, Emmanuel and Zhang, Yingying}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22015673f78d095fbdd9b71480b3a46b3/dblp}, ee = {https://www.wikidata.org/entity/Q59859467}, interhash = {24d7435167eee8411f5ec4d235a8eb2d}, intrahash = {2015673f78d095fbdd9b71480b3a46b3}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 6, pages = {1607-1621}, timestamp = {2019-09-27T08:02:08.000+0200}, title = {Compositional Model Checking of Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc64.html#0001ZMRZ15}, volume = 64, year = 2015 }