Paper Info
Title
Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic.
Year
DOI
Venue
2012
10.1007/978-3-642-35632-2_24
RV
Field
DocType
Citations 
Standard algorithms,Computer science,Algorithm,Theoretical computer science,Time model,Operator (computer programming),Discrete time and continuous time,Temporal logic,Semantics,Pointwise
Conference
2
PageRank 
References 
Authors
0.37
10
2
Name
Order
Citations
PageRank
Kevin Baldor130.77
Jianwei Niu227526.61