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
 
 
  UppDMC: A Distributed Model Checker for Fragments of the μ-Calculus
 
 
Title: UppDMC: A Distributed Model Checker for Fragments of the μ-Calculus
Author: Holmén, Fredrik
Leucker, Martin
Lindström, Marcus
Appeared in: Electronic notes theoretical computer science
Paging: Volume 128 (2005) nr. 3 pages 15 p.
Year: 2005
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