Lange, Martin

[NT 60487] Overview

[NT 60478] Works:	0 [NT 60520] works in 1 [NT 60521] publications in 1 [NT 60522] languages

[NT 60480] Titles

Temporal logics in computer science : finite-state systems [NT 59711] by: Goranko, Valentin; Lange, Martin; Demri, Stéphane P. (1967) ([NT 1579] Language materials, printed)

[NT 60479] Subjects