%0 Journal Article %1 journals/fmsd/LangMM21 %A Lang, Frédéric %A Mateescu, Radu %A Mazzanti, Franco %D 2021 %J Formal Methods Syst. Des. %K dblp %N 1-2 %P 83-125 %T Compositional verification of concurrent systems by combining bisimulations. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd58.html#LangMM21 %V 58

@article{journals/fmsd/LangMM21, added-at = {2022-06-03T00:00:00.000+0200}, author = {Lang, Frédéric and Mateescu, Radu and Mazzanti, Franco}, biburl = {https://www.bibsonomy.org/bibtex/2b73b9e49e8cc4a822b93eb6c927abaa3/dblp}, ee = {https://doi.org/10.1007/s10703-021-00360-w}, interhash = {5a0426f11f3f39d428f097926afc737c}, intrahash = {b73b9e49e8cc4a822b93eb6c927abaa3}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = {1-2}, pages = {83-125}, timestamp = {2024-04-08T17:15:03.000+0200}, title = {Compositional verification of concurrent systems by combining bisimulations.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd58.html#LangMM21}, volume = 58, year = 2021 }