R
ayhana
A
mjad
0000-0002-3086-1720
Homepages 🌐
https://rayhana.dev/
Entries
2024
Definitive Set Semantics for LTL3
by
Rayhana Amjad
,
Rob van Glabbeek
and
Liam O'Connor
Aug 12