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 15 van 32 gevonden artikelen
 
 
  Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach
 
 
Titel: Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach
Auteur: Feng, Renyan
Acar, Erman
Wang, Yisong
Liu, Wanwei
Schlobach, Stefan
Ding, Weiping
Verschenen in: Information sciences
Paginering: Jaargang 616 () nr. C pagina's 474-504
Jaar: 2022
Inhoud:
Uitgever: Elsevier Inc.
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 15 van 32 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland