K. Banach, M. Bunemann, J. Huser, and L. Pott. Pflugers Arch, 423 (3-4):
245-50(May 1993)Banach, K Bunemann, M Huser, J Pott, L Research Support, Non-U.S.
Gov't Germany Pflugers Archiv : European journal of physiology Pflugers
Arch. 1993 May;423(3-4):245-50..
M. Banach, K. Kubiak, and R. Dlugosz. FedCSIS (Communication Papers), volume 20 of Annals of Computer Science and Information Systems, page 67-72. (2019)
R. Banach, F. Arbab, G. Papadopoulos, and J. Glauert. Formal Methods and Component Interaction @ ICALP, volume 66 of Electronic Notes in Theoretical Computer Science, page 1-15. Elsevier, (2002)