Efficient Model Checking for Duration Calculus? - Citegraph

Paper Info

Title
Efficient Model Checking for Duration Calculus?

Year	Venue	DocType
2009	Int. J. Software and Informatics	Journal
Volume	Issue	Citations
3	2-3	6
PageRank	References	Authors
0.41	9	2

Authors (2 rows)

Cited by (6 rows)

References (9 rows)

Name	Order	Citations	PageRank
Martin Fränzle	1	786	61.58
Michael r. Hansen	2	543	43.29

1