Inproceedings,
Partition refinement for bisimilarity in CCP.
A. Aristizábal, F. Bonchi, F. Valencia, and L. Pino.SAC, page 88-93. ACM, (2012)
Meta data
- BibTeX key
- conf/sac/AristizabalBVP12
- entry type
- inproceedings
- booktitle
- SAC
- year
- 2012
- pages
- 88-93
- publisher
- ACM
- crossref
- conf/sac/2012
- ee
- https://doi.org/10.1145/2245276.2245296
- isbn
- 978-1-4503-0857-1
- url
- http://dblp.uni-trier.de/db/conf/sac/sac2012.html#AristizabalBVP12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sac/AristizabalBVP12
%A Aristizábal, Andrés
%A Bonchi, Filippo
%A Valencia, Frank D.
%A Pino, Luis Fernando
%B SAC
%D 2012
%E Ossowski, Sascha
%E Lecca, Paola
%I ACM
%K dblp
%P 88-93
%T Partition refinement for bisimilarity in CCP.
%U http://dblp.uni-trier.de/db/conf/sac/sac2012.html#AristizabalBVP12
%@ 978-1-4503-0857-1
@inproceedings{conf/sac/AristizabalBVP12,
added-at = {2021-10-14T00:00:00.000+0200},
author = {Aristizábal, Andrés and Bonchi, Filippo and Valencia, Frank D. and Pino, Luis Fernando},
biburl = {https://www.bibsonomy.org/bibtex/2b4b3ecdfa7b20536094421a01f1bc88a/dblp},
booktitle = {SAC},
crossref = {conf/sac/2012},
editor = {Ossowski, Sascha and Lecca, Paola},
ee = {https://doi.org/10.1145/2245276.2245296},
interhash = {47cd320b5ec079fd4bb8853a89a2a614},
intrahash = {b4b3ecdfa7b20536094421a01f1bc88a},
isbn = {978-1-4503-0857-1},
keywords = {dblp},
pages = {88-93},
publisher = {ACM},
timestamp = {2024-04-10T21:20:34.000+0200},
title = {Partition refinement for bisimilarity in CCP.},
url = {http://dblp.uni-trier.de/db/conf/sac/sac2012.html#AristizabalBVP12},
year = 2012
}