Martin (Universitat Kassel, Germany) Lange
Share
Bibliography
-
Temporal Logics In Computer ScienceCAMBRIDGE UNIVERSITY PRESS10-2016158,17€free shipping