Lange, Martin
Overview
Works: | 0 works in 1 publications in 1 languages |
---|
Titles
Temporal logics in computer science : finite-state systems
by:
Goranko, Valentin; Lange, Martin; Demri, Stéphane P. (1967)
(Language materials, printed)