Model Checking Timed Recursive CTL.

Paper Info

Title
Model Checking Timed Recursive CTL.

Authors (2 rows)

Cited by (0 rows)

References (0 rows)

Name	Order	Citations	PageRank
Florian Bruse	1	1	1.71
Martin Lange	2	13	4.00