Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 5 of 8 found articles
 
 
  Games, automata, logics and formal verification (GandALF 2016)
 
 
Title: Games, automata, logics and formal verification (GandALF 2016)
Author: Cantone, Domenico
Delzanno, Giorgio
Appeared in: Information and computation
Paging: Volume 262 (2018) nr. P2 pages 187-188
Year: 2018
Contents:
Publisher: Elsevier Inc.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 5 of 8 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands