Algorithms for analyzing concurrent software systems using derivatives
Allan M. StavelyVolume:
11
Year:
1990
Language:
english
Pages:
18
DOI:
10.1016/0164-1212(90)90105-u
File:
PDF, 2.29 MB
english, 1990