%0
Book
%T
Combining linear time temporal logic descriptions of concurrent computations
%A
Kuiper, Ruurd
%K
Hochschulschrift
%K
Temporale Logik
%K
Parallelverarbeitung
%D
1989
%U
http://slubdd.de/katalog?TN_libero_mab2
Download citation