Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Model checking Duration Calculus: a practical approach

Roland Meyer, Johannes Faber, Jochen Hoenicke, and Andrey Rybalchenko

Details

Publication typeArticle
Published inFACS: Formal Aspects of Computing
> Publications > Model checking Duration Calculus: a practical approach