Model checking Duration Calculus: a practical approach

In  FACS: Formal Aspects of Computing

Details

TypeArticle
> Publications > Model checking Duration Calculus: a practical approach