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