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 14 gevonden artikelen
 
 
  On complexity of verification of interacting agents’ behavior
 
 
Titel: On complexity of verification of interacting agents’ behavior
Auteur: Dekhtyar, Michael
Dikovsky, Alexander
Valiev, Mars
Verschenen in: Annals of pure and applied logic
Paginering: Jaargang 141 (2006) nr. 3 pagina's 27 p.
Jaar: 2006
Inhoud:
Uitgever: Elsevier B.V.
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

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