ResearchTrend.AI
LTL under reductions with weaker conditions than stutter-invariance
v1v2 (latest)

LTL under reductions with weaker conditions than stutter-invariance

Formal Techniques for (Networked and) Distributed Systems (FORTE), 2021
E. Paviot-Adet
D. Poitrenaud
E. Renault
Y. Thierry-Mieg
ArXiv (abs)PDFHTML

Papers citing "LTL under reductions with weaker conditions than stutter-invariance"

0 / 0 papers shown

No papers found