Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
<< vorige    volgende >>
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 11 van 13 gevonden artikelen
 
 
  Reachability relations of timed pushdown automata
 
 
Titel: Reachability relations of timed pushdown automata
Auteur: Clemente, Lorenzo
Lasota, Sławomir
Verschenen in: Journal of computer and system sciences
Paginering: Jaargang 117 () nr. C pagina's 202-241
Jaar: 2021
Inhoud:
Uitgever: Elsevier Inc.
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 11 van 13 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland