Model checking Duration Calculus: a practical approach
Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey RybalchenkoVolume:
20
Language:
english
Pages:
25
DOI:
10.1007/s00165-008-0082-7
Date:
July, 2008
File:
PDF, 469 KB
english, 2008