Languages
          
        
        
      Mogavero, Fabio.
Overview
            | Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
          
                  
                    Logics in computer science = a study on extensions of temporal and strategic logics /
                  
                  by: 
                  SpringerLink (Online service); Mogavero, Fabio.
                  (Language materials, printed)