Reachability Analysis at Procedure Level through Timing Coincidence.
Journal
CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings
Pages
284-298
Date Issued
1995
Author(s)
Type
conference paper