Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Akio Nakata

Extrathoracic Subclavian Venipuncture by Using Only the J-Type Guidewire for Permanent Pacemaker Electrode Placement

International Heart Journal

Cardiovascular Medicine

English

A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English