Valentin Goranko , Martin Lange Stéphane Demri

titleISBN-13
(ISBN-10)
year of publication
Temporal Logics in Computer Science: Finite-State Systems978-1-1O7-O2836-4
(1-1O7-O2836-1)
2016

G L. · G.M. · G. Martin · M.-L. · Martin L. · V. L. · Valentin Goranko · Valentin L.

Valentin Gprodnov