Digital Library
Close Browse articles from a journal
 
<< previous   
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 10 of 10 found articles
 
 
  Using Assumptions to Distribute Alternation Free μ-Calculus Model Checking
 
 
Title: Using Assumptions to Distribute Alternation Free μ-Calculus Model Checking
Author: Brim, Luboš
Žídková, Jitka
Appeared in: Electronic notes theoretical computer science
Paging: Volume 89 (2003) nr. 1 pages 16 p.
Year: 2003
Contents:
Publisher: Elsevier B.V.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 10 of 10 found articles
 
<< previous   
 
 Koninklijke Bibliotheek - National Library of the Netherlands