The Temporal Logic Of Reactive And Concurrent Systems
Role in the Field
Neutralin Engineering and Technology
Neutralin Dependable Communication Systems
Neutralin Temporal Logic and Reasoning
Abstract
Citations
1,488
Year
1992
PageRank
4.6 / 10
Relative influence (log-scaled)