Normal view
MARC view
Minoura, Toshimi (Personal Name)
Machine generated authority record
Work cat.: (NEDUET)746419: Minoura, Toshimi, Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems