Author Rataj A. Conference Name Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014. Year of Publication 2014 Status Published URL http://ceur-ws.org/Vol-1269/paper220.pdf Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedMarcRIS
