%0 Conference Paper
%D 2017
%G eng
%I Springer, Cham
%R https://doi.org/10.1007/978-3-319-67113-0_3
%T Query Checking for Linear Temporal Logic
%U https://link.springer.com/chapter/10.1007/978-3-319-67113-0_3
%8 25 August 2017
%@ 978-3-319-67113-0