%0 Journal Article %1 journals/acta/SanchezS15 %A Sánchez, Alejandro %A Sánchez, César %D 2015 %J Acta Informatica %K dblp %N 6 %P 525-557 %T Parametrized invariance for infinite state processes. %U http://dblp.uni-trier.de/db/journals/acta/acta52.html#SanchezS15 %V 52

@article{journals/acta/SanchezS15, added-at = {2022-12-28T00:00:00.000+0100}, author = {Sánchez, Alejandro and Sánchez, César}, biburl = {https://www.bibsonomy.org/bibtex/2ecfdb8cc0c8991138fb75d4a80e90a42/dblp}, ee = {https://doi.org/10.1007/s00236-015-0222-5}, interhash = {15b0f169aa6c0e0e3d5d1cdc3790e253}, intrahash = {ecfdb8cc0c8991138fb75d4a80e90a42}, journal = {Acta Informatica}, keywords = {dblp}, number = 6, pages = {525-557}, timestamp = {2024-04-08T16:44:02.000+0200}, title = {Parametrized invariance for infinite state processes.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta52.html#SanchezS15}, volume = 52, year = 2015 }