Invariance under stuttering in a temporal logic of actions
Theoretical Computer Science
Invariance Under Stuttering in a Temporal Logic without the "Until" Operator
Fundamenta Informaticae
A complete proof system for propositional projection temporal logic
Theoretical Computer Science
Hi-index | 0.00 |