@inproceedings{HPU8,
title = {DejaVu: A Monitoring Tool for First-Order Temporal Logic },
author = {Havelund, Klaus and Peled, Doron and Ulus, Dogan},
month = {04},
year = {2018},
booktitle = {Hybrid Systems: Computation and Control ({HSCC})},
pages = {12-13},
team = {TEMPO},
}