4,706 followers
https://t.co/JsfOzzDqiw LTL under reductions with weaker conditions than stutter-invariance. (arXiv:2111.03342v2 [https://t.co/HW5RVw4UkE] UPDATED) #NLProc
https://t.co/JsfOzzDqiw LTL under reductions with weaker conditions than stutter-invariance. (arXiv:2111.03342v2 [https://t.co/HW5RVw4UkE] UPDATED) #NLProc
Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2022) https://t.co/QjOruiJRRG
LTL under reductions with weaker conditions than stutter-invariance https://t.co/qySSoRosrk
LTL under reductions with weaker conditions than stutter-invariance https://t.co/qySSoRG3PU