@article{Kulakowski2013cba, 

Author = {Ku{\l}akowski, K.},
Bibsource = {dblp computer science bibliography, http://dblp.org},
Biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/Kulakowski13a},
Date-Added = {2015-05-15 18:12:25 +0000},
Date-Modified = {2015-05-15 18:12:44 +0000},
Journal = {CoRR},
Timestamp = {Tue, 03 Dec 2013 15:04:24 +0100},
Title = {Concurrent bisimulation algorithm},
Url = {http://arxiv.org/abs/1311.7635},
Volume = {abs/1311.7635},
Year = {2013},
Bdsk-Url-1 = {http://arxiv.org/abs/1311.7635}}
  • user/konrad/research/concurrency/bibtex/kulakowski2013cba.txt