About this scholarly article

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Expressive Completeness for Metric Temporal Logic by Hunter, Paul; Ouaknine, Joel; Worrell, James is a scholarly article available to read on EtoBox.

Author

Hunter, Paul; Ouaknine, Joel; Worrell, James

Publisher

IEEE

Published

2013

Language

EN