-

Publications of Danielius Kudinskas

Journal papers

  1. Niels Penneman, Danielius Kudinskas, Alasdair Rawsthorne, Bjorn De Sutter and Koen De Bosschere Formal virtualization requirements for the ARM architecture JOURNAL OF SYSTEMS ARCHITECTURE, pp. 12 (2013)