Additional Metadata
THEME Software (theme 1)
Journal J. Log. Algebr. Program.
Citation
de Boer, F.S, Grabe, I, & Steffen, M. (2012). Termination detection for active objects. J. Log. Algebr. Program., 81(4).