@dblp

Real-Time Model-Checking: Parameters Everywhere.

, and . FSTTCS, volume 2914 of Lecture Notes in Computer Science, page 100-111. Springer, (2003)

Links and resources

Tags