%0 Conference Paper %1 journals/corr/abs-1210-2451 %A Lange, Martin %A Lozes, Étienne %A Guzmán, Manuel Vargas %B GandALF %D 2012 %E Faella, Marco %E Murano, Aniello %K %P 43-56 %T Model-Checking Process Equivalences %U http://dblp.uni-trier.de/db/series/eptcs/eptcs96.html#abs-1210-2451 %V 96

@inproceedings{journals/corr/abs-1210-2451, added-at = {2023-12-13T02:31:05.000+0100}, author = {Lange, Martin and Lozes, Étienne and Guzmán, Manuel Vargas}, biburl = {https://www.bibsonomy.org/bibtex/2d9b295b34936e86dd26b05604d019af0/admin}, booktitle = {GandALF}, crossref = {journals/corr/abs-1210-2028}, editor = {Faella, Marco and Murano, Aniello}, ee = {http://arxiv.org/abs/1210.2451}, interhash = {8034a1b36fd3b245d06f063f953dba1e}, intrahash = {d9b295b34936e86dd26b05604d019af0}, keywords = {}, pages = {43-56}, series = {EPTCS}, timestamp = {2023-12-13T02:31:05.000+0100}, title = {Model-Checking Process Equivalences}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs96.html#abs-1210-2451}, volume = 96, year = 2012 }