Formal Methods in Human Body Model Animation

Jelínek, I., Berka, R.

JELÍNEK, I. and R. BERKA. Formal Methods in Human Body Model Animation. In: Proceedings of Spring School on Computer Graphics. Spring School on Computer Graphics, Bratislava, 1994-06-06/1994-06-09. Bratislava: Univerzita Komenského, 1994. pp. 220-225. ISBN 80-223-0801-3.