%L acta61681
%A  NĂŠmeth BoldizsĂĄr
%A  Kelemen ZoltĂĄn
%P 47-48
%V 9
%T Derivable partial locking for algebraic data types
%O Bibliogr.: p. 47-48.
%K Számítástechnika - előadáskivonat, Matematika - előadáskivonat
%D 2014
%J Conference of PhD Students in Computer Science