Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

 
<< 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 5 van 10 gevonden artikelen
 
 
  Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams 1 1 This work was carried out while the authors were at the Department of Information Technology, Technical University of Denmark, and was finnancially supported by a grant from the Danish Technical Research Council.
 
 
Titel: Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams 1 1 This work was carried out while the authors were at the Department of Information Technology, Technical University of Denmark, and was finnancially supported by a grant from the Danish Technical Research Council.
Auteur: Møller, Jesper
Lichtenberg, Jakob
Andersen, Henrik R.
Hulgaard, Henrik
Verschenen in: Electronic notes theoretical computer science
Paginering: Jaargang 23 (2001) nr. 2 pagina's 20 p.
Jaar: 2001
Inhoud:
Uitgever: Published by Elsevier B.V.
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

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