Some graph problems in timing analysis of the specification
Tekko, Jaanus
Proceedings of the 5th Nordic Workshop on Program Correctness, 1994
1994
/
p. 184-193