Digital Library
Close Browse articles from a journal
 
   next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 1 of 7 found articles
 
 
  A practical approach to model checking Duration Calculus using Presburger Arithmetic
 
 
Title: A practical approach to model checking Duration Calculus using Presburger Arithmetic
Author: Hansen, Michael R.
Phan, Anh-Dung
Brekling, Aske W.
Appeared in: Annals of mathematics and artificial intelligence
Paging: Volume 71 (2013) nr. 1-3 pages 251-278
Year: 2013
Contents:
Publisher: Springer International Publishing, Cham
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 1 of 7 found articles
 
   next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands