Mogavero, Fabio. (©2013) Logics in computer sciencea study on extensions of temporal and strategic logics Paris : Atlantis,MLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Logics in computer science [electronic resource] : a study on extensions of temporal and strategic logics /
by Fabio Mogavero.
|Published:||Paris : Atlantis, ©2013.|
Atlantis studies in computing ; 3.