Thiagarajan PS, Henriksen JG. Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. BRICS [Internet]. 8. januar 1998 [henvist 6. december 2025];5(8). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/19280