Modeling and beam dynamic visualization in cyclotron virtual prototyping | IEEE Conference Publication | IEEE Xplore