%0 Journal Article %1 journals/acta/SantoneV12 %A Santone, Antonella %A Vaglini, Gigliola %D 2012 %J Acta Inf. %K dblp %N 5 %P 313-341 %T Abstract reduction in directed model checking CCS processes. %U http://dblp.uni-trier.de/db/journals/acta/acta49.html#SantoneV12 %V 49

@article{journals/acta/SantoneV12, added-at = {2017-05-28T00:00:00.000+0200}, author = {Santone, Antonella and Vaglini, Gigliola}, biburl = {https://www.bibsonomy.org/bibtex/20b2bed0aa84410db61822fb09f02bfa5/dblp}, ee = {https://doi.org/10.1007/s00236-012-0161-3}, interhash = {b9cb6e62c8112f34913326c23f536d42}, intrahash = {0b2bed0aa84410db61822fb09f02bfa5}, journal = {Acta Inf.}, keywords = {dblp}, number = 5, pages = {313-341}, timestamp = {2017-05-30T11:37:19.000+0200}, title = {Abstract reduction in directed model checking CCS processes.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta49.html#SantoneV12}, volume = 49, year = 2012 }