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