Safety and liveness from a methodological point of view
Frank Dederichs, Rainer WeberVolume:
36
Year:
1990
Language:
english
Pages:
6
DOI:
10.1016/0020-0190(90)90181-v
File:
PDF, 485 KB
english, 1990