Login / Signup

Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems.

Toshimi MinouraS. Sitharama Iyengar
Published in: IEEE Trans. Software Eng. (1989)
Keyphrases