Results 271 to 280 of about 2,058,291 (283)
Some of the next articles are maybe not open access.
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2003
Xiaoyi Jiang, Xiangqian Jiang
exaly
Xiaoyi Jiang, Xiangqian Jiang
exaly
Runtime Verification for LTL and TLTL
ACM Transactions on Software Engineering and Methodology, 2011Andreas Bauer, Martin Leucker
exaly

