[isabelle] paper discuss the implementation of temporal logic in isabelle

Dear All

I am looking for paper(s) talk about of temporal logic with isabelle,
if you know please send to me the title of paper or link if it
available on line.

Best Regards,

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.