Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
<< vorige   
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 10 van 10 gevonden artikelen
 
 
  The Hennessy–Milner equivalence for continuous time stochastic logic with mu-operator
 
 
Titel: The Hennessy–Milner equivalence for continuous time stochastic logic with mu-operator
Auteur: Doberkat, Ernst-Erich
Verschenen in: Journal of applied logic
Paginering: Jaargang 5 (2007) nr. 3 pagina's 26 p.
Jaar: 2007
Inhoud:
Uitgever: Elsevier B.V.
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 10 van 10 gevonden artikelen
 
<< vorige   
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland