Automatic Verification Of Finite-State Concurrent Systems Using Temporal Logic Specifications
Role in the Field
Neutralin Engineering and Technology
Neutralin Communication and Signal Processing
Neutralin Software Engineering and Practices
Neutralin Scheduling Algorithms in Real Time
Abstract
Citations
2,262
Year
1986
PageRank
5.5 / 10
Relative influence (log-scaled)